Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC.

Morten Heine Sørensen Robert Glück Neil D. Jones

Published in: ESOP (1994)

Keyphrases

partial evaluation
explanation based generalization
proximity graph
databases
domain theory
database
data sets