Login / Signup
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