蒙脱土

莫德莫斯工具。模块化结构操作语义(MSOS)是一种新的框架,它允许结构操作语义(SOS)规范在不强加转换规则的重新定义的意义上被模块化,这是SOS规范中的情况,当扩展时。Maude MSOS工具(MMT)是在全Maude中实现的MSOS的可执行环境,它是实现MSOS和重写逻辑(RWL)之间的语义保持映射。模块化SOS定义形式主义(MSDF)是MMT支持的规范语言。MSDF语法与MSOS数学符号非常接近,用户界面友好,允许多个语法组件保持隐式。MMT将模块化的支持与用户友好的语法结合起来,并结合MADUD引擎的高效执行和分析。我们已经使用MMT从编程语言语义和并发系统几个不同的例子。本文介绍了MMT的发展及其在这两类规范中的应用。

这个软件也是同行评审通过期刊toms.


ZBMaCT中的参考文献(16篇文章中引用)

显示结果1至16的16。
按年份排序(引文

  1. 约翰森、克里斯蒂安、沃恩、奥拉夫:动态结构操作语义学(2019)
  2. van Binsbergen,L. Thomas;Mosses,Peter D.;斯卡尔索普,尼尔:可执行的基于组件的语义(2019)
  3. 格里戈雷,从改写逻辑,到程序语言语义,到程序验证(2015)
  4. Bach Poulsen,Casper;Mosses,Peter D.:为模块化结构操作语义生成专门的解释器(2014)
  5. 科尔文,Robert J.:基于类层次结构的面向对象概念的操作语义(2014)
  6. MeeGuer-Joee,Roüu,Grigo:重写逻辑语义项目:进度报告(2013)
  7. 梅塞格,乔斯:重写逻辑的二十年(2012)
  8. MeeGuer-Joee,Roüu,Grigo:重写逻辑语义项目:进度报告(2011)
  9. 汉斯:过渡和树木。结构操作语义学导论。(2010)
  10. 杜拉恩,弗朗西斯科;奥尔维茨基,Peter Csaba:用实时Maod(2009)实现全莫德延伸指南伊波尔特
  11. Traian Florin,R.U,Gigig. MeeGuer-Joe:一个操作语义的重写逻辑方法(2009)
  12. Murbach Maidl,安德烈,卡维利,Cluuudio;穆思灿特,Martin A.:Maude面向对象的行动工具(2008)伊波尔特
  13. Braga,Christiano;Veldjo,阿尔伯托:模块化结构操作语义与策略(2007)
  14. 法布里西奥·阿戈斯托·拉米雷斯,布拉加,Christiano:Maude MSOS工具(2007)伊波尔特
  15. 克拉维尔、曼努埃尔、杜拉恩、弗朗西斯科、Eker、史提芬、林肯、帕特里克、MaMi'-OLIET、纳西索;MeeGuer-Joe:;如何在重写逻辑中指定、编程和验证系统。用CD-ROM(2007)
  16. Traian Florin,R.U,Gigig. MeeGuer-Joe:一个操作语义的改写逻辑方法(扩展摘要)(2007)