Constructor-based conditional narrowing
Constructor-based conditional narrowing
复制标题
基于构造函数的条件缩小
DOI：
--
复制
发表时间：
2001
期刊：
影响因子：
--
通讯作者：
S. Antoy
中科院分区：
文献类型：
--
作者：
S. Antoy
我们定义了从基于左线性构造器的条件重写系统到重叠归纳顺序重写系统的转换。对于源系统中的计算来说，这种转换是合理和完整的。由于存在针对目标系统的合理且完全的缩小策略，这些结果的组合为基于左线性构造器的条件重写系统的整类可证明合理且完全的缩小计算提供了第一个过程。我们讨论了需求驱动策略和懒惰策略之间的差异，以及缩小策略和缩小演算之间的差异。在此背景下，我们分析了使用我们的转换来实现函数逻辑编程语言的效率和实用性。这篇论文的结果补充、扩展并偶尔纠正了以前在这一领域发表的结果。
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound and complete for the computations in the source system. Since there exists a sound and complete narrowing strategy for the target system, the combination of these results offers the first procedure for provably sound and complete narrowing computations for the whole class of the leftlinear constructor-based conditional rewrite systems. We address the differences between demand driven and lazy strategies and between narrowing strategies and narrowing calculi. In this context, we analyze the efficiency and practicality of using our transformation for the implementation of functional logic programming languages. The results of this paper complement, extend, and occasionally rectify, previously published results in this area.