Partial Evaluation and Symbolic Computation for the Understanding of Fortran Programs

Sandrine Blazy Philippe Facon

Published in: CAiSE (1993)

Keyphrases

partial evaluation
explanation based generalization
imperative programs
data mining
artificial intelligence
high level
domain theory
scientific computing
xml documents
xpath queries