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