当前位置: X-MOL 学术J. Log. Algebr. Methods Program. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Applications and extensions of context-sensitive rewriting
Journal of Logical and Algebraic Methods in Programming ( IF 0.9 ) Pub Date : 2021-03-31 , DOI: 10.1016/j.jlamp.2021.100680
Salvador Lucas

Context-sensitive rewriting is a restriction of term rewriting which is obtained by imposing replacement restrictions on the arguments of function symbols. It has proven useful to analyze computational properties of programs written in sophisticated rewriting-based programming languages such as CafeOBJ, Haskell, Maude, OBJ*, etc. Also, a number of extensions (e.g., to conditional rewriting or constrained equational systems) and generalizations (e.g., controlled rewriting or forbidden patterns) of context-sensitive rewriting have been proposed. In this paper, we provide an overview of these applications and related issues.



中文翻译:

上下文相关重写的应用程序和扩展

上下文相关重写是术语重写的限制,该限制是通过对功能符号的参数施加替换限制而获得的。事实证明,分析以复杂的基于重写的编程语言(如CafeOBJHaskellMaudeOBJ *等)编写的程序的计算属性很有用。此外,还具有许多扩展(例如,条件重写约束方程系统)和一般化。(例如,受控的重写禁止的模式)的上下文相关重写已被提出。在本文中,我们提供了这些应用程序和相关问题的概述。

更新日期:2021-04-16
down
wechat
bug