莫德

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


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

显示结果1至20的645。
按年份排序(引文
  1. Cuenca Ortega,A.;Escobar,S.MeeGuer-J.:模排序公理程序的部分评估框架模公理(2020)
  2. De Nicola,罗科;法拉利,GiangLuigi;PuGeice,Rosario;TayZi,弗朗西斯科:一种面向领域的分布式系统工程的正式方法(2020)
  3. 杜拉恩,弗朗西斯科;Eker,史提芬;埃斯科巴,圣地亚哥;MaMi'-OLIET,纳西索;MeeGuer-Joee;Rubio,RoueN;塔尔科特,卡洛琳:Mod(2020)中的程序设计和符号计算
  4. 杜拉恩,弗朗西斯科;梅塞格,约瑟夫;罗查,卡米洛:有序排序条件规范的公理汇合公理(2020)
  5. MeeGuer-Joe:广义重写理论、连贯完成和符号方法(2020)
  6. Cuenca Ortega,安吉尔,埃斯科巴,圣地亚哥;梅塞格尔,约瑟夫:(\ MathsFasuo\\Mathbf2):一种高性能的分型和继承的模块化ACU推广系统(2019)
  7. 阿门洲,波格丹;CiopaNu,加布里埃尔:迁移和通信超时多智能体系统的验证(2019)
  8. 约翰森、克里斯蒂安、沃恩、奥拉夫:动态结构操作语义学(2019)
  9. 刘,SI;奥尔维茨基,Peter Csaba;王,齐;Gupta,Indranil;MeeGuer-Joe::阅读原子事务与防止丢失更新:ROLA及其形式分析(2019)
  10. 卢卡斯·萨尔瓦多:证明语义属性为一阶可满足性(2019)
  11. Nigam,维韦克;塔尔科特,卡洛琳;厄奎萨,阿布拉·艾利斯:符号时间痕迹等价(2019)
  12. Pavlovic,达斯科(E..);汉娜,汤永福;林奇,克里斯托弗;梅尔斯,David Jaz;Pig,Y:用CAP匹配寻找入侵者知识(2019)
  13. van Binsbergen,L. Thomas;Mosses,Peter D.;斯卡尔索普,尼尔:可执行的基于组件的语义(2019)
  14. 阿吉雷,路易斯;MARTIO-OLIET,纳西索;帕洛米诺,米格尔;皮塔,伊莎贝尔:改写逻辑中的句子归一化条件变窄模和莫德(2018)
  15. 阿尔巴特,马里亚,巴利斯,德米斯;萨皮尼亚,朱丽亚:用TaMe(2018)推断安全Maude程序
  16. 盆地,戴维,CurMeS,CAS;Meadows,凯瑟琳:模型检验安全协议(2018)
  17. CiOB-C,TeFun;Luaunu,Dorel:证明逻辑约束项重写系统可达性的共归纳方法(2018)
  18. Confalonieri,罗伯托;EPEE,曼弗雷德;Schorlemmer,马珂;Kutz,奥利弗;P.N.AloZa,PoT;普拉萨,恩里克:描述逻辑中概念混合的向上细化运算符(MathCalel^ ++)(2018)
  19. 莱莫斯,Marcilio O. O.;Dantas,Yuri Gil;丰塞卡,Iguatemi E.,NigAM,维韦克:关于TDoS攻击选择性防御的形式验证的准确性(2018)
  20. 刘,SI;U.LVEECZKY,Peter Csaba;Santhanam,克沙夫;王,齐;Gupta,Indranil;MeeGuer-Joe::RoLa:一种新的分布式事务协议及其形式化分析(2018)