彼得·莫塞斯（Peter D.Mosses）。 模块化结构操作语义。 （英语） Zbl 1072.68061号 J.日志。阿尔盖布。程序。 195-228年6月60日至61日（2004年）. 概要：模块化SOS（MSOS）是传统结构操作语义（SOS）的变体。使用MSOS，编程语言的每个构造的转换规则可以一次增量地给出，并且在向语言中添加更多构造时不需要重新定义。因此，MSOS在语言描述中提供了极高的模块化程度，消除了原始SOS框架的一个缺点。在概述了SOS的背景并回顾了其主要特征之后，本文解释了SOS和MSOS之间的关键区别，并说明了MSOS描述是如何编写的。还讨论了基于MSOS的语义等价的标准概念。附录A显示了本文中给出的示例性MSOS规则如何在常规SOS中制定。 引用于29文件 MSC公司： 68问题55 计算理论中的语义学 关键词：过渡规则 软件：CASL公司；毫升 PDF格式BibTeX公司 XML格式引用 \textit{P.D.Mosses}，J.Log。阿尔盖布。程序。60-61195-228（2004年；Zbl 1072.68061） 全文： 内政部 参考文献： [1] 丙酮，L。；福克金，W。；Verhoef，C.，《结构操作语义学》（Bergstra，J.A.；Ponse，A.；Smolka，S.A.，《过程代数手册》（2001），爱思唯尔科学），197-292，第3章·Zbl 1062.68074号 [2] E.阿斯蒂西亚诺。归纳和操作语义学，E.J.Neuhold，M.Paul（编辑），编程概念的形式化描述，IFIP最新报告，Springer，1991年，第51-136页；E.阿斯蒂西亚诺。归纳和操作语义学，E.J.Neuhold，M.Paul（编辑），编程概念的形式化描述，IFIP最新报告，Springer，1991年，第51-136页·Zbl 0743.68028号 [3] Astesiano，大肠杆菌。；比多特，M。；Krieg-Brückner，B。；苔藓，P.D。；Sannella，D。；塔莱基，A.，Casl公司：通用代数规范语言Theoret。计算。科学。，286, 2, 153-196 (2002) ·Zbl 1061.68103号 [4] K.L.Bernstein，高阶语言结构化操作语义的同余定理，in：Proc。LICS’98，IEEE，1998年，第153-163页；K.L.Bernstein，高阶语言结构化操作语义的同余定理，in：Proc。LICS’98，IEEE，1998，第153-163页 [5] D.Berry，R.Milner，D.N.Turner，ML并发原语语义，in：Proc。第17届美国计算机学会编程语言原理年会，美国计算机学会，1992年，第119-129页；D.Berry，R.Milner，D.N.Turner，ML并发原语语义，in：Proc。第17届美国计算机学会编程语言原理年会，美国计算机学会，1992年，第119-129页 [6] R.Cartwright，M.Felleisen，可扩展指称语言规范，见：M.Hagiya，J.C.Mitchell（编辑），TACS’94，计算机软件理论方面研讨会，LNCS 789，Springer，1994，第244-272页；R.Cartwright，M.Felleisen，可扩展指称语言规范，收录于：M.Hagiya，J.C.Mitchell（编辑），TACS’94，计算机软件理论方面研讨会，LNCS 789，Springer，1994年，第244-272页·Zbl 0942.68544号 [7] CoFI（共同框架倡议）。C类asl公司参考手册。LNCS，2960，IFIP系列。施普林格，2004年；共同框架倡议。C类asl公司参考手册。LNCS，2960，IFIP系列。斯普林格，2004 [8] Degano，P。；Priami，C.，增强操作语义，ACM计算。调查。，28, 2, 352-354 (1996) [9] M.Felleisen，D.P.Friedman，《控制操作符、SECD机器和（λ）演算》，收录于：编程概念的形式化描述III，Proc。IFIP TC2工作会议，1986年，北荷兰，1987年，第193-217页；M.Felleisen，D.P.Friedman，《控制操作符、SECD机器和（λ）演算》，收录于：编程概念的形式化描述III，Proc。IFIP TC2工作会议，1986年，北荷兰，1987年，第193-217页 [10] 福克金，W.J。；Verhoef，C.，《保守地看待变量绑定的操作语义》，Informat。计算。，146, 1, 24-54 (1998) ·Zbl 0916.68098号 [11] Gadducci，F。；Montanari，U.，《瓷砖模型》（Plotkin，G.；Stirling，C.；Tofte，M.，《证明、语言和互动：罗宾·米尔纳的论文》（2000），麻省理工出版社），133-166·Zbl 0968.68018号 [12] Hennessy，M.，《编程语言的语义：使用结构操作语义的入门》（1990），威利出版社，纽约·Zbl 0723.68067号 [13] G.Kahn，《自然语义》，收录于：STACS’87，Proc。交响乐团。《计算机科学的理论方面》，LNCS 247，Springer，1987年，第22-39页；G.Kahn，《自然语义》，收录于：STACS’87，Proc。交响乐团。《计算机科学的理论方面》，LNCS 247，Springer，1987年，第22-39页·Zbl 0635.68007号 [14] S.Liang，P.Hudak，编译器构造的模块指称语义。In:ESOP’96，程序。第六届欧洲编程研讨会，LNCS 1058，Springer，1996年，第219-234页；S.Liang，P.Hudak，编译器构造的模块指称语义。In:ESOP’96，程序。第六届欧洲编程研讨会，LNCS 1058，Springer，1996年，第219-234页 [15] Milner，R.，《沟通与并发》（1989），普伦蒂斯·霍尔·Zbl 0683.68008号 [16] R.Milner，并发过程的操作和代数语义，收录于：J.van Leeuwen（编辑），《理论计算机科学手册》，B卷，Elsevier Science Publishers，麻省理工学院出版社，阿姆斯特丹，1990年（第19章）；R.Milner，并发过程的操作和代数语义，收录于：J.van Leeuwen（编辑），《理论计算机科学手册》，B卷，Elsevier Science出版社，麻省理工学院出版社，阿姆斯特丹，1990年（第19章）·Zbl 0900.68217号 [17] 米尔纳，R。；托夫特，M。；哈珀，R。；MacQueen，D.，《标准ML的定义（修订版）》（1997），麻省理工学院出版社 [18] E.Moggi，编程语言的抽象视图。技术报告ECS-LFCS-90-113，爱丁堡大学计算机科学系，1990年；E.Moggi，编程语言的抽象视图。技术报告ECS-LFCS-90-113，爱丁堡大学计算机科学系，1990年 [19] P.D.Mosses，《动作语义学》，剑桥理论计算机科学导论26。剑桥大学出版社，1992年；P.D.Mosses，《动作语义学》，剑桥理论计算机科学丛书26。剑桥大学出版社，1992年 [20] P.D.Mosses，动作语义学的理论与实践，收录于：MFCS’96 Proc。第21国际交响乐团。《计算机科学数学基础》，波兰克拉科夫，LNCS 1113，斯普林格出版社，1996年，第37-61页；P.D.Mosses，动作语义学的理论与实践，收录于：MFCS’96 Proc。第21国际交响乐团。《计算机科学的数学基础》，波兰克拉科夫，LNCS 1113，斯普林格出版社，1996年，第37-61页 [21] P.D.Mosses，语义，模块化和重写逻辑。in:WRLA’98，程序。第二届重写逻辑及其应用国际研讨会，ENTCS 15，1998；P.D.Mosses，语义，模块化和重写逻辑。in:WRLA’98，程序。第二届重写逻辑及其应用国际研讨会，ENTCS 15，1998 [22] P.D.Mosses，模块化SOS基础，技术报告，奥胡斯大学计算机科学系，1999年。[23]的完整版本；P.D.Mosses，模块化SOS基础，技术报告，奥胡斯大学计算机科学系，1999年。[23]的完整版本 [23] P.D.Mosses，模块化SOS基础（扩展摘要），收录于：MFCS’99，Proc。第24届国际交响乐团。《计算机科学数学基础》，波兰Szklarska-Poreba，LNCS 1672，Springer，1999年，第70-80页；P.D.Mosses，模块化SOS基础（扩展摘要），收录于：MFCS’99，Proc。第24届国际交响乐团。《计算机科学的数学基础》，波兰Szklarska-Poreba，LNCS 1672，Springer，1999年，第70-80页·Zbl 0921.00031号 [24] P.D.Mosses，操作语义的逻辑规范，收录于：CSL’99，Proc。计算机科学逻辑会议，LNCS 1683，Springer，1999，pp.32-49；P.D.Mosses，操作语义的逻辑规范，收录于：CSL’99，Proc。计算机科学逻辑会议，LNCS 1683，Springer，1999，pp.32-49·Zbl 0969.68098号 [25] P.D.Mosses，动作符号模块化SOS。技术报告，奥胡斯大学计算机科学系，1999年。[26]的完整版本；P.D.Mosses，动作符号模块化SOS。技术报告，奥胡斯大学计算机科学系，1999年。[26]的完整版本 [26] P.D.Mosses，动作符号的模块化SOS（扩展摘要），收录于：P.D.Mosses，D.A.Watt（编辑），AS’99，Proc。第二届行动语义学国际研讨会，金砖国家NS-99-3，奥胡斯大学计算机科学系，1999年，第131-142页；P.D.Mosses，动作符号的模块化SOS（扩展摘要），收录于：P.D.Moses，D.A.Watt（编辑），AS’99，Proc。第二届行动语义学国际研讨会，金砖国家NS-99-3，奥胡斯大学计算机科学系，1999年，第131-142页 [27] P.D.Mosses，ML并发原语的模块化SOS，技术报告，奥胡斯大学计算机科学系，1999年；P.D.Mosses，ML并发原语的模块化SOS，技术报告，奥胡斯大学计算机科学系，1999年 [28] P.D.Mosses，AN-2：修订的动作符号——语法和语义。可在网址：http://www.brics.dk/pdm/papers/Mosses-AN-2-Semantics/，2000年；P.D.Mosses，AN-2：修订的动作符号——语法和语义。可在网址：http://www.brics.dk/pdm/papers/Mosses-AN-2-Semantics/，2000年 [29] P.D.Mosses，模块化SOS的语用学，收录于：A.M.Haeberer（编辑），AMAST'02，Proc。第九届代数方法和软件技术国际会议，LNCS 2422，Springer，2002年，第21-40页；P.D.Mosses，模块化SOS的语用学，收录于：A.M.Haeberer（编辑），AMAST'02，Proc。第九届代数方法和软件技术国际会议，LNCS 2422，Springer，2002年，第21-40页·Zbl 1275.68086号 [30] 尼尔森，H.R。；Nielson，F.，《语义与应用：正式介绍》（1992年），Wiley:Wiley Chichester，英国·Zbl 0875.68626号 [31] G.D.Plotkin，操作语义的结构方法。技术报告，奥胡斯大学计算机科学系，1981年，转载于JLAP，本期，2004年；G.D.Plotkin，操作语义的结构方法。技术报告，奥胡斯大学计算机科学系，1981年，转载于JLAP，本期，2004年 [32] G.D.Plotkin，J.Power，《代数效应的充分性》，载于：F.Honsell，M.Miculan（编辑），FOSSACS 2001，软件科学和计算结构基础，LNCS 2030，Springer，2001，第1-24页；G.D.Plotkin，J.Power，代数效应的充分性，收录于：F.Honsell，M.Miculan（编辑），FOSSACS 2001，软件科学和计算结构基础，LNCS 2030，Springer，2001，第1-24页·Zbl 0986.68055号 [33] G.D.Plotkin，J.Power，《代数运算的语义（扩展抽象）》，收录于：S.Brookes，M.Mislove（编辑），Proc。MFPS XVII，ENTCS 45。Elsevier，2001年；G.D.Plotkin，J.Power，《代数运算的语义（扩展抽象）》，收录于：S.Brookes，M.Mislove（编辑），Proc。MFPS XVII，ENTCS 45。Elsevier，2001年·Zbl 1260.68220号 [34] G.D.Plotkin，J.Power，《计算概念决定单子》，载于：M.Nielsen，U.Engberg（编辑），FOSSACS 2002，《软件科学和计算结构基础》，LNCS 2303，Springer，2002，第342-356页；G.D.Plotkin，J.Power，《计算概念决定单子》，载于：M.Nielsen，U.Engberg（编辑），FOSSACS 2002，《软件科学和计算结构基础》，LNCS 2303，Springer，2002，第342-356页·Zbl 1077.68676号 [35] J.H.Reppy，CML：一种高阶并发语言，in：Proc。SIGPLAN’91，项目协调。语言设计与实施。，ACM，1991年，第293-305页；J.H.Reppy，CML：一种高阶并发语言，收录于：Proc。SIGPLAN’91，项目协调。语言设计与实施。，ACM，1991年，第293-305页 [36] J.H.Reppy，高阶并行，博士论文，康奈尔大学计算机科学系，1992年。技术代表TR 92-1285；J.H.Reppy，高阶并行，博士论文，康奈尔大学计算机科学系，1992年。技术代表TR 92-1285 [37] J.C.Reynolds，《使用范畴理论定义隐含胁迫和泛型算子》，载于：N.D.Jones（编辑），《语义导向编译器生成》，LNCS 94，Springer，1980年，第211-258页；J.C.Reynolds，《使用范畴理论定义隐含胁迫和泛型算子》，载于：N.D.Jones（编辑），《语义导向编译器生成》，LNCS 94，Springer，1980年，第211-258页 [38] Slonneger，K。；Kurtz，B.L.，《编程语言的形式语法和语义：基于实验室的方法》（1995），Addison-Wesley·Zbl 0844.68016号 [39] D.Turi，G.D.Plotkin，《走向数学运算语义》，摘自：Proc。LICS’97，IEEE，1997年；D.Turi，G.D.Plotkin，《走向数学运算语义》，摘自：Proc。LICS’97，IEEE，1997年 [40] K.Wansbrough，模块化单子动作语义学，硕士论文，奥克兰大学计算机科学系，1997年；K.Wansbrough，模块化单子动作语义学，硕士论文，奥克兰大学计算机科学系，1997年 [41] K.Wansbrough，J.Hamer，《模块化单子动作语义学》，载于：领域特定语言会议，USENIX协会，1997年，第157-170页；K.Wansbrough，J.Hamer，《模块单子动作语义学》，收录于：领域特定语言会议，USENIX协会，1997年，第157-170页 [42] 温斯克尔，G.，《编程语言的形式语义：导论》（1993），麻省理工学院出版社·Zbl 0919.68082号 [43] A.Wright，M.Felleisen，《类型稳健性的句法方法》，技术报告TR91-160，莱斯大学计算机科学系，1991年；A.Wright，M.Felleisen，《类型稳健性的句法方法》，技术报告TR91-160，莱斯大学计算机科学系，1991年·Zbl 0938.68559号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。