Transforming interpreters into inverse interpreters by partial evaluation
Transforming interpreters into inverse interpreters by partial evaluation
复制标题
通过部分评估将解释器转变为逆解释器
DOI：
10.1145/777388.777391
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
Takuya Hashimoto
中科院分区：
文献类型：
--
作者：
R. Glück;Youhei Kawada;Takuya Hashimoto
本文中的实验应用了从健壮语义中原型化编程语言工具的思想：我们使用了部分求值器（Similix）将解释器转换为反向解释器。通过这种方式，我们为几种小型语言生成了逆向解释器，包括图灵机的解释器，应用的lambda演算，流程图语言和Java字节码的子集。在线部分评估的限制因素是多变量专业化方案，其缺乏推广;优势是高阶值的可用性专门的广度优先树travers.This应用程序的自适用部分评估是不同的经典的二村预测，告诉我们如何翻译一个程序的解释器的专业化。
The experiments in this paper apply the idea of prototyping programming language tools from robust semantics: we used a partial evaluator (Similix) to turn interpreters into inverse interpreters. This way we generated inverse interpreters for several small languages including interpreters for Turing machines, an applied lambda calculus, a flowchart language, and a subset of Java bytecode. Limiting factors of online partial evaluation were the polyvariant specialization scheme with its lack of generalization;advantages were the availability of higher-order values to specialize a breadth-first tree traversal.This application of self-applicable partial evaluation is different from the classical Futamura projections that tell us how to translate a program by specialization of an interpreter.