The Partial Evaluation of Imperative Programs Using Prolog.

Published in: META (1988)

Keyphrases

partial evaluation
imperative programs
explanation based generalization
dynamic logic
logic programming
modal logic
domain theory
higher order
expert systems
programming language
logic programs
artificial intelligence
inductive learning
nonmonotonic reasoning
domain knowledge
pairwise
knowledge base