Transforming interpreters into inverse interpreters by partial evaluation. - Robert Glück; Youhei Kawada; Takuya Hashimoto (PEPM, 2003)