Optimization of Equational Programs Using Partial Evaluation.

David J. Sherman Robert Strandh Irène Durand

Published in: PEPM (1991)

Keyphrases

partial evaluation
explanation based generalization
optimization algorithm
optimization problems
theorem proving
pairwise
databases
artificial intelligence
database systems
domain theory
general purpose
higher order