Login / Signup
Partial Evaluation of an Intermediate Language for Equational Programs.
Irène Durand
David J. Sherman
Robert Strandh
Published in:
JTASPEFT/WSA (1991)
Keyphrases
</>
partial evaluation
explanation based generalization
intermediate level
computer programs
programming language
language learning
programming environment
object oriented languages
agent programming
theorem proving
database
high level
natural language
higher order
inference rules
domain theory