莫德

Maude是一种高性能的反射性语言和系统,支持等式和重写逻辑规范和编程,适用于广泛的应用。Maude受到了Obj3语言的重要影响,可以看作是一个等值逻辑子语言。除了支持等式规范和编程之外,Maude还支持重写逻辑计算。


ZBMaX中的参考文献(650篇)3篇标准文章

显示结果21至40的650。
按年份排序(引文
  1. Confalonieri,罗伯托;EPEE,曼弗雷德;Schorlemmer,马珂;Kutz,奥利弗;P.N.AloZa,PoT;普拉萨,恩里克:描述逻辑中概念混合的向上细化运算符(MathCalel^ ++)(2018)
  2. 莱莫斯,Marcilio O. O.;Dantas,Yuri Gil;丰塞卡,Iguatemi E.,NigAM,维韦克:关于TDoS攻击选择性防御的形式验证的准确性(2018)
  3. 刘,SI;U.LVEECZKY,Peter Csaba;Santhanam,克沙夫;王,齐;Gupta,Indranil;MeeGuer-Joe::RoLa:一种新的分布式事务协议及其形式化分析(2018)
  4. Lochbihler,安德烈亚斯:伊莎贝尔/HOL中的快速机器字(2018)
  5. 卢卡斯,萨尔瓦多;古蒂雷斯,RA:顺序排序一阶理论的逻辑模型的自动综合(2018)
  6. 卢卡斯,萨尔瓦多;MeSeGuer-Joee;GuTyeRrz,Ra:L:条件重写系统的2D依赖对框架。I:定义和基本处理器(2018)
  7. Skeirik,史蒂芬;MeeGuer-Joe:变满足性的元算法(2018)
  8. 张,闵;奥加塔,Kazuhiro:从隐藏到可见:行为理论转化为重写理论的统一框架(2018)
  9. Cuenca Ortega,安吉尔;埃斯科巴,圣地亚哥;梅塞格尔,约瑟夫:有序公理程序排序的部分评价:公理(2017)
  10. 巴尔托莱蒂,马西莫;Murgia,Maurizio;Scalas,Alceste;Zuno,罗伯托:面向合同系统的可验证抽象(2017)
  11. Bhattacharyya,Anirban;Mokhov,安德烈;Pierce,肯:形式化的经验比较:可靠系统动态重构的建模与分析(2017)
  12. BraveTi,马里奥;Giachino,埃琳娜;Lienhardt,米迦勒;Wong,Peter Y. H.:并发对象群的动态再绑定:理论与实践(2017)
  13. 巴特菲尔德,安得烈:UTCPCAC——一个UTP谓词的计算器(2017)
  14. 杜拉恩,弗朗西斯科;Moreno Delgado,安东尼奥;Orejas,费尔南多;Zsaler-斯特芬:领域特定语言与行为的融合(2017)
  15. Kanovich,马克斯;Ban Kirigin,Tajana;尼格姆,维韦克;SeordROV,安德烈;塔尔科特,卡洛琳;Pig,Y:重写框架和遵循规则的活动逻辑(2017)
  16. 科普,辛西娅;米德尔多普,Aart;斯特纳格尔,托马斯:条件项重写的复杂性(2017)
  17. 卢卡努,多瑞尔;鲁苏,弗拉德;Arusoaie,安德列:象征执行的一般框架:共归纳法(2017)
  18. 卢卡斯,萨尔瓦多;MeeGuer-Joe:依赖条件对证明条件项重写系统的终止性质(2017)
  19. 麦格吉,Alessandro;彼得罗奇,马里内拉;斯波纳迪,安吉洛;TayZi,弗朗西斯科:一种基于语言的Twitter互动建模和分析方法(2017)
  20. MeeGuer-Joee:条件重写模公理的严格相干性(2017)