The Essence of Program Transformation by Partial Evaluation and Driving.

Published in: Logic, Language and Computation (1994)

Keyphrases

partial evaluation
explanation based generalization
computer programs
database
higher order
artificial intelligence
search engine
general purpose
domain theory