Transforming interpreters into inverse interpreters by partial evaluation.

Robert Glück Youhei Kawada Takuya Hashimoto

Published in: PEPM (2003)

Keyphrases

partial evaluation
explanation based generalization
virtual machine
description language
representation language
data sets
artificial intelligence
high level
software engineering
domain theory