萨尔瓦多卢卡斯 上下文敏感重写的完整性。 （英语） Zbl 1302.68144号 信息处理。莱特。 115，编号2，87-92（2015）. 摘要：重写的限制可能会使某些术语变成正常形式无法到达的，导致不完整的计算。上下文相关重写(企业社会责任)重写的限制仅允许减少替换映射\（\mu\），它将参数索引的子集\（\mu（f）\）与每个函数符号\（f）关联。Hendrix和Meseguer定义了代数语义学用于执行术语重写系统（TRS）企业社会责任可以用来推理用编程语言编写的程序，如OBJ咖啡馆和莫德，其中此类更换限制可以在程序中指定。还定义了csr的语义完整性。在本文中，我们展示了标准替换映射，在用企业社会责任，是必要的重要类别TRS的完整性。 引用于1文件 MSC公司： 2012年第68季度 语法和重写系统 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68问题55 计算理论中的语义学 关键词：代数语义学;上下文敏感重写;形式推理;程序设计语言 软件：OBJ咖啡馆;莫德 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}，Inf.流程。莱特。115，第2号，87-92（2015；Zbl 1302.68144） 全文： 内政部 链接 参考文献： [1] Clavel，M。；杜兰，F。；艾克，S。；林肯，P。；新墨西哥州马丁·奥列特。；梅塞盖尔，J。；Talcott，C.，《关于Maude的一切——高性能逻辑框架》，LNCS，第4350卷（2007年），Springer-Verlag·Zbl 1115.68046号 [2] Futatsugi，K。；Nakagawa，A.，《CAFE规范环境概述》（第一届形式工程方法国际会议论文集（1997）） [3] 亨德里克斯，J。；Meseguer，J.，《关于上下文敏感订单分类规范的完整性》（RTA’07的Proc.）。程序。RTA’07，LNCS，第4533卷（2007）），229-245·Zbl 1203.68098号 [4] Lucas，S.，《函数和函数逻辑程序中的上下文敏感计算》，J.Funct。逻辑程序。，1998, 1, 1-61 (1998) ·Zbl 0924.68106号 [5] Lucas，S.，上下文敏感重写策略，Inf.Compute。，178，1293-343（2002年）·Zbl 1012.68095号 [6] 中村，M。；Ogata，K。；Futatsugi，K.，术语重写系统中操作符号的可还原性及其在行为规范中的应用，J.Symb。计算。，45, 551-573 (2010) ·Zbl 1192.68931号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。