Techniques for Partial Evaluation of Imperative Languages.

Published in: PEPM (1991)

Keyphrases

partial evaluation
explanation based generalization
language independent
databases
expressive power
domain theory
knowledge base
machine learning
artificial intelligence
logic programming