An Experiment in Partial Evaluation: The Generation of a Compiler Generator.

Neil D. Jones Peter Sestoft Harald Søndergaard

Published in: RTA (1985)

Keyphrases

partial evaluation
explanation based generalization
general purpose
software systems
machine learning
data sets
programming language
modal logic
artificial intelligence
prior knowledge
small number
logic programs
distributed memory machines