百万吨

Maumsos工具。模块化结构运作语义(MSOS)是一种新的框架,它允许结构运作语义(SOS)规范在扩展时不必对转换规则进行重新定义,从而实现模块化。Maude-MSOS-tool(MMT)是一个完整Maude实现的mso的可执行环境,它实现了mso和重写逻辑(RWL)之间的语义保持映射。模块化SOS定义形式(MSDF)是MMT支持的规范化语言。MSDF语法非常接近MSOS的数学表示法,并且允许几个语法组件保持隐式,因而用户友好。MMT结合了对模块化的支持和用户友好的语法,以及Maude引擎的高效执行和分析。我们已经在编程语言语义和并发系统的几个不同示例中使用了MMT。本文介绍了MMT的发展及其在这两类规范中的应用。

这个软件也是同行评审按日记帐汤姆斯.


zbMATH参考文献(16篇文章引用)

显示第1到16个结果,共16个。
按年份排序(引用)

  1. Johansen,Christian;Owe,Olaf:动态结构操作语义(2019)
  2. van Binsbergen,L.Thomas;Mosses,Peter D.;Sculthorpe,Neil:《基于组件的可执行语义》(2019)
  3. Roşu,Grigore:从重写逻辑到编程语言语义,再到程序验证(2015)
  4. Bach Poulsen,Casper;Mosses,Peter D.:为模块化结构操作语义生成专门的解释器(2014)
  5. Colvin,Robert J.:基于类层次结构的面向对象概念的操作语义(2014)
  6. Meseguer,José;Roşu,Grigore:重写逻辑语义项目:进度报告(2013)
  7. JoséMeseguer:《重写逻辑的二十年》(2012)
  8. Meseguer,José;Roşu,Grigore:重写逻辑语义项目:进度报告(2011)
  9. Hüttel,Hans:过渡和树。结构操作语义学导论。(2010年)
  10. Durán,Francisco;lveczky,Peter Csaba:扩展完整Maude的指南,说明了实时Maude的实现(2009)ioport公司
  11. Şerbănuţă,Traian Florin;Roşu,Grigore;Meseguer,José:操作语义的重写逻辑方法(2009)
  12. 默巴赫·梅德尔,安德烈;卡维利,克劳迪奥;穆斯坎特,马丁A.:Maude面向对象的动作工具(2008)ioport公司
  13. Braga,Christiano;Verdejo,Alberto:模块化结构操作语义与策略(2007)
  14. Chalub,Fabricio;Braga,Christiano:Maude MSOS工具(2007)ioport公司
  15. 曼纽尔·克莱维尔;弗朗西斯科的杜兰;史蒂文的埃克;帕特里克的林肯;玛蒂奥利特,纳西索;梅斯盖尔,乔斯;塔尔科特,卡罗琳:《关于莫德的一切——一个高性能的逻辑框架》。如何在重写逻辑中指定、编程和验证系统。带光盘(2007)
  16. Şerbănuţă,Traian Florin;Roşu,Grigore;Meseguer,José:操作语义的重写逻辑方法(扩展摘要)(2007)