Two for the Price of One: Composing Partial Evaluation and Compilation.

Michael Sperber Peter Thiemann

Published in: PLDI (1997)

Keyphrases

partial evaluation
explanation based generalization
xpath queries
domain theory
domain knowledge
database
machine learning
metadata
feature extraction
higher order
logic programming
modal logic