Transforming interpreters into inverse interpreters by partial evaluation.

Robert Glck, Youhei Kawada, Takuya Hashimoto

Browse the full PEPM paper archive.