×
汉内·戈特利布森;克里斯托弗·罗斯。

在组合约简系统和大步语义之间转换。 （英语） Zbl 1253.68212号

Palsberg，Jens（编辑），语义和代数规范。在彼得·D·摩斯60岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-04163-1/pbk）。计算机科学课堂讲稿5700，297-314（2009）。
摘要：我们将组合约简系统（CRS）形式的高阶重写与大步语义（BSS）规范形式的基于逻辑的操作语义联系起来。我们展示了如何将CRS重写规则集编码为BSS，以及如何将BSS（包括自然语义）编码为CRS。这些连接允许在两种形式中使用适当的变量和替换。
关于整个系列，请参见[Zbl 1173.68014号].

MSC公司：

68问题55 计算理论中的语义学
2012年第68季度 语法和重写系统

软件：

CRSX公司
PDF格式BibTeX公司 XML格式引用
\textit｛H.Gottliebsen｝和\textit｛K.H.Rose｝，Lect。注释计算。科学。5700、297--314（2009年；Zbl 1253.68212）
全文： 内政部

参考文献：

[1] Benaissa，Z.-E.-A.，Lescanne，P.，Rose，K.H.：使用显式替换为弱约简策略建模共享和递归。收录人：Kuchen，H.，Swierstra，S.D.（编辑）PLILP 1996。LNCS，第1140卷，第393-407页。斯普林格，海德堡（1996）·doi:10.1007/3-540-61756-699
[2] Despeyroux，J.：自然语义学中的翻译证明。摘自：计算机科学中的逻辑专题讨论会（LICS 1986），第193-205页（1986）
[3] Gottliebsen，H.：组合约简系统与自然语义学。奥胡斯大学DAIMI硕士论文（1998年）
[4] Kahn，G.：自然语义学。收录：Brandenburg，F.J.，Wirsing，M.，Vidal-Naquet，G.（编辑）STACS 1987。LNCS，第247卷，第22-39页。斯普林格，海德堡（1987）·Zbl 0635.68007号 ·doi:10.1007/BFb0039592
[5] Klop，J.W.：组合还原系统。Mathematisch Centrum，阿姆斯特丹（1980）·Zbl 0466.03006号
[6] Klop，J.W.：术语重写系统。收录于：《计算机科学逻辑手册》，第2卷，第1-116页。克拉伦登出版社，牛津（1992）
[7] Marchiori，M.：《关于确定性条件重写》，麻省理工学院计算机科学实验室，第405卷，计算结构小组备忘录（1997）·Zbl 1274.03090号
[8] Meseguer，J.：条件重写逻辑作为并发的统一模型。理论计算机科学96，73–155（1992）·Zbl 0758.68043号 ·doi:10.1016/0304-3975（92）90182-F
[9] Mosses，P.D.：SIS——语义实现系统。奥胡斯大学计算机科学系Daimi MD-30技术报告（绝版）（1979年）
[10] Mosses，P.D.：动作语义学。剑桥大学出版社，纽约（1992）·Zbl 0875.68618号 ·doi:10.1017/CBO9780511569869
[11] Ohlebush，E.：将具有额外变量的条件重写系统转换为无条件系统。收录人：Ganzinger，H.、McAllester，D.、Voronkov，A.（编辑）LPAR 1999。LNCS，第1705卷。斯普林格，海德堡（1999）
[12] Plotkin，G.D.：操作语义的结构方法。奥胡斯大学DAIMI技术报告FN-19（1981）
[13] Rose，K.H.：CRSX：带延伸的组合还原系统。SourceForge（2007-2009），网址：http://crsx.sf.net
[14] Rose，K.H.：显式替换-教程和调查。奥胡斯大学金砖国家系列讲座LS-96-3（1996）
[15] Rosu，G.：从有条件改写到无条件改写。In:Fiadeiro，J.L.，Mosses，P.D.，Orejas，F.（编辑）WADT 2004。LNCS，第3423卷，第218-233页。斯普林格，海德堡（2005）·Zbl 1118.68514号 ·doi:10.1007/978-3-540-31959-7_13
[16] Serbanuta，T.，Rosu，G.，Meseguer，J.：操作语义的重写逻辑方法。信息与计算207（2）（2009）·Zbl 1165.68041号 ·doi:10.1016/j.ic.2008.03.026
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。