莫德

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


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

显示结果41至60的650。
按年份排序(引文
  1. MeeGuer-Joeik;Skiikk,史蒂芬:初等排序代数中的等式公式和模式运算(2017)
  2. Peter Csaba:设计可靠的分布式系统。基于MUDE(2017)的可执行建模的形式化方法
  3. RiSeCo,AdRaSn;OgTaA,Kazuhiro:半形式证明文件的形式证明生成器(2017)
  4. RiSeCo,阿德里安,OgATA,Kazuhiro;FutaTuGi,KKICHI:一个用于CAFEOBO的Mod环境(2017)
  5. 罗查,CAMILO;MeeGuer-Joee;MuNooz,CIESAR:改写模SMT和开放系统分析(2017)
  6. Rigu,Gigig:匹配逻辑(2017)
  7. Rusu,弗拉德;Arusoaie,安德列:《莫德(2017)》中高阶功能命令程序的执行与验证
  8. 阿尔门德罗斯-吉姆·奈兹,Jes’s M.IrBar,路易斯;L Pez Frn,NeDEZ,Jes S;Mora Segura,NGel:PTL:一种基于逻辑程序设计的模型转换语言(2016)
  9. Frechina,弗朗西斯科,SAPI NIA,朱丽亚:通过运行时断言检查和跟踪切片调试MODUD程序(2016)
  10. Frechina,F,SAPI,A,J,Ballis,D.:基于断言的分析(用\ MathsFabes)(系统描述)(2016)
  11. Arcaini,Paolo;HOROM,Roxana Maria;Riccobene,ELVIII:基于ASM的云系统自适应组件的形式化设计(2016)
  12. 巴尔托莱蒂,马西莫;CimoLi,Tiziana;Michele Pinna,G,Zuno,罗伯托:作为事件结构游戏的契约(2016)
  13. Braga、Christiano、Lopes、布鲁诺:动态逻辑中的重写逻辑推理:Petri PDL案例(2016)
  14. Ciobanu,加布里埃尔;Horne,罗斯:使用结构演算的会话行为分析(2016)
  15. 科尔文,Robert J.:利用混合过程代数建模和分析神经网络(2016)
  16. De Giacomo,朱塞佩;莱斯普朗斯,Yves;Patrizi,法比奥;瓦索斯,斯塔夫罗斯:具有有限信念的情境演算者的进展和验证(2016)
  17. 邓杜,贝塞克;Florido,马里奥;Kutsia,TEMUR;Marin,MiCEA: CLP((Mathsfh)):模糊限制语逻辑程序设计(2016)
  18. 杜拉恩,弗朗西斯科;Eker,史提芬;埃斯科巴,圣地亚哥;Malti-OLIET,纳西索;MeeGuer-Joee;塔尔科特,卡洛琳:内置变异生成和统一,及其在莫德2.7(2016)中的应用
  19. 吉尼特,托马斯:树自动机完结的终止准则(2016)
  20. Jaskolka,杰森;KeDri,RIDHA:基于通信潜力分析(2016)缓解隐蔽通道