Partial Evaluation and Symbolic Computation for the Understanding of Fortran Programs

Sandrine Blazy, Philippe Facon

Browse the full CaiSE paper archive.