A Compiler for Nondeterministic Term Rewriting Systems
A Compiler for Nondeterministic Term Rewriting Systems
复制标题
非确定性术语重写系统的编译器
DOI：
10.1007/3-540-61464-8_50
复制
发表时间：
1996
期刊：
影响因子：
--
通讯作者：
M. Vittek
中科院分区：
文献类型：
--
作者：
M. Vittek
这项工作介绍了Elan规范语言的设计和实施。该语言基于重写逻辑和许可，尤其是基于确定性评估与未确定性搜索解决方案的计算的组合。该实现结合了术语重写系统，功能和逻辑编程语言的汇编方法，以及一些新的原始技术，总而言之，这是一种有效的语言中的有效代码。编译器的效率在实验结果上得到了证明。
This work presents the design and the implementation of a compiler for the ELAN specification language. The language is based on rewriting logic and permits, in particular, the combination of computations where deterministic evaluations are mixed with a nondeterministic search for solutions. The implementation combines compilation methods of term rewriting systems, functional and logic programming languages, and some new original techniques producing, in summary, an efficient code in an imperative language. The efficiency of the compiler is demonstrated on experimental results.