莫德

Maude是一种高性能的反射式语言和系统,它支持等式和重写逻辑规范,并为各种应用程序编程。作为一种等价逻辑亚语言,OBJ3语言在很大程度上影响了Maude。除了支持等式规范和编程外,Maude还支持重写逻辑计算。


zbMATH中的参考文献(引用于,3标准条款)

显示652的81到100个结果。
按年份排序(引用)
  1. Alpuente,M.;Ballis,D.;Frechina,F.;Sapiña,J.:探索条件重写逻辑计算(2015)
  2. AlTurki,Musab A.;Meseguer,José:Orc的可执行重写逻辑语义和Orc程序的形式化分析(2015)
  3. Anastasio,Thomas J.:神经科学中的计算机建模:从命令式编程到声明式编程。神经科学中的Maude模型。(2015年)
  4. 《符号化的语言》(基于《象征性语言》(Vlau,Anu Ruse;2015年版)
  5. 巴托莱蒂,马西莫;卡斯特拉尼,伊拉里亚;丹尼埃卢,皮埃尔·马洛;迪扎尼·西卡格里尼,马里安戈拉;吉莱赞,西尔维亚;潘托维奇,乔万卡;佩雷斯,豪尔赫A;蒂曼,彼得;托尼尼奥,贝尔纳多;维埃拉,雨果·托雷斯:将行为类型与安全分析相结合(2015)
  6. Bain,David;Keller,Michel;Radomirović,Saša;Sasse,Ralf:Alice和Bob meet equational Theory(2015年)
  7. Bruni,Roberto;Corradini,Andrea;Gadducci,Fabio;Iluch Lafuente,Alberto;Vandin,Andrea:行为适应的白盒视角(2015)
  8. Caltais,Georgiana:面向对象语言的基于表达式的别名(2015)
  9. Chiarugi,Davide;Falaschi,Moreno;Hermith,Diana;Olatet,Carlos:生物化学系统中时空模式的验证(2015)
  10. Ciob–că,Ştefan;Lucanu,Dorel;Rusu,Vlad;Roşu,Grigore:编程语言聚合的理论基础(2015)
  11. Ciobanu,Gabriel;Koutny,Maciej;Steggles,Jason:Strategy based semantics for mobility with time and access permissions(2015年)
  12. 曼努埃尔·克莱维尔;弗朗西斯科的杜兰;史蒂文的埃克尔;圣地亚哥的埃斯科巴;帕特里克的林肯;纳西索的马蒂奥利特;卡罗琳的塔尔科特:莫德的二十年(2015年)
  13. De Nicola,Rocco;Hennicker,Rolf:向Martin Wirsing致敬(2015)
  14. Din,Crystal Chang;Owe,Olaf:关于具有共享期货的活跃对象的组合推理(2015)
  15. Elleuch,Maissa;Hasan,Osman;Tahar,Sofiène;Abid,Mohamed:无线传感器网络中检测特性的正式概率分析(2015)
  16. Giese,Holger;Vogel,Thomas;Wätzoldt,Sebastian:迈向智能系统体系(2015)ioport公司
  17. Gutiérrez,劳尔;Lucas,Salvador:终止上下文相关重写时冻结位置的函数调用(2015)
  18. Kirchner,Hélene:重写策略和战略重写计划(2015)
  19. Liu,Si;嫘lveczky,Peter Csaba;Meseguer,José:使用实时Maude对MANETs中领导人选举的正式分析(2015)
  20. Lucanu,Dorel;Rusu,Vlad:循环推理的程序等价性(2015)