摘要
[1] Braga,C.、Hermann Haeusler,E.、Meseguer,J.和Mosses,P.D.,将模块化SOS映射到重写逻辑。 收录:Leuschel,Michael(Ed.),《计算机科学讲义》,第2664卷。 斯普林格。 第262-277页。 谷歌学者 [2] Braga,C.和Meseguer,J.,《实践中的模块化重写语义》。 理论计算机科学电子笔记。 v117.393-416。 谷歌学者 [3] F.查鲁布。 模块化结构操作语义在Maude中的实现。 硕士论文,联邦弗鲁米内塞大学,2005年。 http://www.ic.uffbr/ ~弗洛萨里奥/论文.pdf 谷歌学者 [4] Clavel,M.,Durán,F.,Eker,S.,Meseguer,J.和Stehr,M.-O.,Maude作为一种正式的元疗法。 收录于:计算机科学课堂讲稿,第1709卷。 斯普林格·弗拉格。 第1684-1703页。 谷歌学者 数字图书馆 [5] F.Durán。 反射模代数及其在莫德语言中的应用。 马拉加大学博士论文,Escuela Tcnica Superior de Ingeniería Informática,1999 谷歌学者 [6] Hartel,P.H.,LETOS——用于操作语义的轻量级执行工具。 软件——实践与经验。 第29版i15。 1379-1416. 谷歌学者 数字图书馆 [7] Martí-Oliet,N.和Meseguer,J.,《重写逻辑作为逻辑和语义框架》一章,收录于:《哲学逻辑手册》第9卷。 Kluwer学术出版社。 第1-87页。 谷歌学者 [8] Meseguer,J.和Braga,C.,《编程语言的模块化重写语义》。 收录:Rattray,C.,Maharaj,S.,Shankland,C.(编辑),LNCS,第3116卷。 斯普林格。 第364-378页。 谷歌学者 [9] Meseguer,J.和Rošu,G.,重写逻辑语义项目。 理论计算机科学电子笔记。 v156 i1。 27-56. 谷歌学者 数字图书馆 [10] Milner,R.,《通信和移动系统:π-演算》。 1999年,剑桥大学出版社。 谷歌学者 数字图书馆 [11] P.D.苔藓。 编程语言的基本概念和形式语义——入门课程。 课堂讲稿,请访问 网址:http://www.daimi.au.dk/jwig-cnn/dSem/ 2004年 谷歌学者 [12] Mosses,P.D.,《模块化结构操作语义》。 逻辑与代数编程杂志。 第60-61版。 195-228. 谷歌学者 [13] Mosses,P.D.,《语言定义的建构方法》。 通用计算机科学杂志。 v11 i7。 1117-1134. 谷歌学者 [14] Mousavi,M.和Reniers,M.A.,《莫德SOS元理论原型》。 理论计算机科学电子笔记。 v156 i1。 135-150. 谷歌学者 [15] Pettersson,M.,《编译自然语义》。 1999.计算机科学讲稿,1999.Springer。 谷歌学者 数字图书馆 [16] Plotkin,G.D.,《操作语义的结构方法》。 逻辑与代数程序设计杂志。 第60-61版。 17-139. 谷歌学者 [17] J.A.Verdejo。 Maude como um marco semántico可执行。 2003年马德里Complutense大学博士论文 谷歌学者
建议
Maude中语义执行的两个案例研究:CCS和LOTOS 我们探讨了重写逻辑的特性,特别是重写逻辑语言Maude的特性,它是表示和执行推理系统的逻辑和语义框架。 为了说明总体思路,我们考虑两个。。。 Maude面向对象的动作工具 面向对象的动作语义(OOAS)将面向对象的概念纳入动作语义的形式主义。 它的主要目标是获得更具可读性和可重用性的语义规范。 此外,它支持与语法无关的规范,因为。。。 将maude集成到hets中 AMAST’10:第13届代数方法论和软件技术国际会议论文集 Maude模块可以理解为可以根据表示各种形式化需求的不同属性进行形式化分析和验证的模型。 然而,莫德缺乏执行这些分析的正式工具,因此他们可以。。。