莫德

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）