Correct and Complete (Positive) Strategy Annotations for OBJ
Correct and Complete (Positive) Strategy Annotations for OBJ
复制标题
OBJ 的正确且完整（正）策略注释
DOI：
10.1016/s1571-0661(05)82529-0
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
Salvador Lucas
中科院分区：
文献类型：
--
作者：
M. Alpuente;Santiago Escobar;Salvador Lucas
策略注释在几种基于重写的编程语言中使用，以引入旨在提高效率和/或降低非终止风险的替换限制。不幸的是，重写限制可能会对计算范式的能力产生负面影响。在本文中，我们首先确定/澄清的条件，确保计算的正确性和完整性（关于规范化）的战略注释。然后，我们定义了一个程序转换方法（正确和）完整的评价，适用于OBJ类语言。
Strategy annotations are used in several rewriting-based programming languages to introduce replacement restrictions aimed at improving efficiency and/or reducing the risk of nontermination. Unfortunately, rewriting restrictions can have a negative impact on the ability to compute normal forms. In this paper, we first ascertain/clarify the conditions ensuring correctness and completeness (regarding normalization) of computing with strategy annotations. Then, we define a program transformation methodology for (correct and) complete evaluations which applies to OBJ-like languages.