×
巴赫·鲍尔森，卡斯珀;彼得·莫塞斯（Peter D.Mosses）。

为模块化结构操作语义生成专门的解释器。 （英语） Zbl 1453.68040号

Gupta，Gopal（编辑）等，基于逻辑的程序合成和转换。2013年9月18日至19日在西班牙马德里举行的2013年LOPSTR第23届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。8901, 220-236 (2014).
概要：模块化结构操作语义（MSOS）是结构操作语义的变体。它允许独立地指定语言结构，因此当用新的结构和功能扩展语言时，不需要重新制定MSOS规范中的现有规则。{}在介绍Prolog MSOS工具时，我们回顾了如何通过将MSOS规则编译为Prolog子句，从小步MSOS规范合成可执行解释器。实现编译的小步规则的传递闭包可以在Prolog中提供一个可执行的解释器。在最坏的情况下，这样的解释器会完全遍历每个中间程序项，从而导致每个步骤中的大量开销。{}我们展示了如何通过两步专门化将小步MSOS规范转换为相应的大步规范，方法是在MSOS中内化实现传递闭包的规则，并“重新聚焦”小步规则。专业化的规范使生成的口译员的解释开销大大减少。
关于整个系列，请参见[Zbl 1320.68017号].

引用于1文件

MSC公司：

68N20型 编译与解释理论
68N17号 逻辑编程
68问题55 计算理论中的语义学
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

解释器生成;结构操作语义;模块化SOS;专业化;部分评估;程序推导;重新聚焦

软件：

MMT公司;莫德
PDF格式BibTeX公司 XML格式引用
\textit｛C.Bach Poulsen｝和\textit｛P.D.Mosses｝，Lect。注释计算。科学。8901、220--236（2014；Zbl 1453.68040）
全文： 内政部

参考文献：

[1] Aho，A.V.，Ullman，J.D.：解析、翻译和编译理论。Prentice-Hall公司（1972年）
[2] 巴赫·鲍尔森，C。；苔藓，PD；邵，Z.，《从小步语义导出漂亮的大步语义》，《编程语言和系统》，270-289（2014），海德堡：斯普林格·Zbl 1405.68173号 ·doi:10.1007/978-3-642-54833-8_15
[3] Chalub，F。；Braga，C.，Maude MSOS工具，ENTCS，176，4，133-146（2007）
[4] Charguéraud，A。；Felleisen先生。；Gardner，P.，《超大型语义，编程语言和系统》，41-60（2013），海德堡：施普林格出版社·Zbl 1381.68138号 ·doi:10.1007/978-3-642-37036-63
[5] 丘吉尔，M。；苔藓，PD；Pfenning，F.，计算和值的模块化互模拟理论，《软件科学和计算结构基础》，97-112（2013），海德堡：斯普林格·Zbl 1260.68261号 ·doi:10.1007/978-3-642-37075-57
[6] Clavel2008maudemanual Clavel，M.、Durán，F.、Eker，S.、Lincoln，P.、Martí-Oliet，n.、Meseguer，J.、Talcott，C.：Maude手册（版本2.6）（2008）。http://maude.cs.uiuc.edu/maude2-manual网站/ ·Zbl 1038.68559号
[7] 克莱门特，D.，德斯佩罗，J.，德斯佩罗克斯，T.，哈斯科特，L.，卡恩，G.：计算机上的自然语义。研究报告RR-0416，INRIA（1985）
[8] 丹维，O。；科普曼，P。；Plasmeijer，R。；Swierstra，D.，《从基于约简到无约简规范化》，《高级函数编程》，66-164（2009），海德堡：斯普林格·Zbl 1263.68036号 ·doi:10.1007/978-3-642-04652-03
[9] Danvy，O.，Nielsen，L.R.：重新关注约简语义。金砖国家研究系列RS-04-26，奥胡斯大学计算机科学系（2004）
[10] Gallagher，J.P.：逻辑程序专业化教程。收录于：PEPM 1993，第88-98页。ACM（1993）
[11] Gupta，G.：Horn逻辑表示及其应用。收录：Apt，K.R.，Marek，V.W.，Truszczynski，M.，Warren，D.S.（编辑）《逻辑编程范式》。《人工智能》，第127-159页。斯普林格，海德堡（1999）·Zbl 1159.03312号
[12] Leuschel，M。；Jorgensen，J。；Wanhoof，W。；Bruynoogh，M.，《使用手写编译器生成器在Prolog中进行脱机专业化》，TPLP，4，1，139-191（2004）·Zbl 1085.68020号
[13] 劳埃德，JW；Shepherdson，JC，逻辑编程中的部分求值，J.Log。程序。，11, 3-4, 217-242 (1991) ·Zbl 0741.68030号 ·doi:10.1016/0743-1066（91）90027-M
[14] Mosses，P.D.：模块化SOS的基础。金砖国家研究系列RS-99-54，奥胡斯大学计算机科学系（1999）
[15] 苔藓，PD；基什内尔，H。；Ringeissen，C.，模块化SOS的语用学，代数方法论和软件技术，21-40（2002），海德堡：斯普林格·Zbl 1275.68086号 ·doi:10.1007/3-540-45719-43
[16] Mosses，PD，模块化结构操作语义，J.Log。阿尔盖布。程序。，60-61, 195-228 (2004) ·Zbl 1072.68061号 ·doi:10.1016/j.jlap.2004.03.008
[17] Mosses，P.D.：用模块化SOS教授编程语言的语义。收录人：Boca，P.、Bowen，J.P.、Duce，D.A.（编辑）TFM 2006。电气。BCS计算机研讨会（2006年）
[18] Mosses，P.D.，Mousavi，M.R.，Reniers，M.A.：操作扩展下方程的稳健性。收录：Fröschle，S.B.，Valencia，F.D.（编辑）EXPRESS 2010。EPTCS，第41卷，第106-120页（2010年）·Zbl 1455.68125号
[19] 苔藓，PD；New，MJ，结构操作语义中的隐式传播，ENTCS，229，4，49-66（2009）·Zbl 1339.68159号
[20] Pettersson，M.，《编译自然语义学》（1999），海德堡：斯普林格出版社
[21] Plotkin，GD，《操作语义的结构方法》，J.Log。阿尔盖布。程序。，60-61, 17-139 (2004) ·Zbl 1082.68062号
[22] 王，Q。；古普塔，G。；Leuschel，M。；赫尔梅内吉尔多，MV；Cabeza，D.，《通过horn逻辑延续语义实现可证明正确的代码生成》，《声明语言的实用方面》，98-112（2005），海德堡：斯普林格出版社·doi:10.1007/978-3-540-30557-6_9
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。