Realistic Compilation by Partial Evaluation.

Michael Sperber Peter Thiemann

Published in: PLDI (1996)

Keyphrases

partial evaluation
explanation based generalization
xpath queries
database
databases
real world
higher order
programming language