MMT公司 swMATH ID: 7905 软件作者： Fabricio Chalub；克里斯蒂亚诺·布拉加 描述： Maude MSOS工具。模块化结构操作语义（MSOS）是一种新的框架，它允许在不强制重新定义转换规则的意义上使结构操作语义规范（SOS）模块化，而SOS规范在进行扩展时就是这样。Maude MSOS工具（MMT）是在Full Maude中实现的MSOS的可执行环境，它实现了MSOS和重写逻辑（RWL）之间的语义保护映射。模块化SOS定义形式（MSDF）是MMT支持的规范语言。MSDF语法非常接近MSOS数学表示法，并且允许隐式保留几个语法组件，因此用户友好。MMT将模块化支持与用户友好的语法结合在一起，并高效执行和分析Maude引擎。我们已经在编程语言语义和并发系统的几个不同示例中使用了MMT。本文报告了MMT的发展及其在这两类规范中的应用。 主页： http://dl.acm.org/citation.cfm？id=1279455 关键词： 模块化SOS;模块化SOS定义形式;重写逻辑;莫德 相关软件： 莫德;K校准仪;爪哇风扇;OBJ咖啡馆;PMaude公司;ACL2型;Java+ITP;半人马座;K工具;距离-弧度;时刻2;ITP/OCL公司;西洋陆军棋;合同专用条款;ITP公司;OBJ3型;vlogsl语言;聚乙烯醇水杨酸;托勒密;Nuprl公司 引用于： 13文件 全部的 前5名19位作者引用 6 何塞·梅塞盖尔·瓜伊塔 5 格里高·罗什乌 2 彼得·莫塞斯（Peter D.Mosses）。 2 ☑特拉安·弗洛林（Traian Florin） 1 巴赫·鲍尔森，卡斯珀 1 克里斯蒂亚诺·布拉加 1 曼纽尔·克莱维尔 1 罗伯特·J·科尔文。 1 弗朗西斯科·杜兰 1 史蒂文·艾克 1 汉斯·休特尔 1 克里斯蒂安·约翰森 1 帕特里克·D·林肯。 1 马丁·奥列特，纳西索 1 Owe、Olaf 1 尼尔·斯卡索普 1 卡罗琳·塔尔科特。 1 范·宾斯贝根，L.托马斯 1 阿尔贝托·维尔德乔 5篇连载文章中引用 2 信息与计算 2 程序设计中的逻辑和代数方法杂志 1 计算的形式方面 1 逻辑与代数程序设计杂志 1 计算机科学课堂讲稿 在2个字段中引用 13 计算机科学（68至XX） 6 数理逻辑与基础（03-XX） 按年份列出的引文