莫德

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


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

显示651的结果1到20。
按年份排序(引用)

1 2 ... 31 32 33 下一个

  1. Alpuente,M.;Cuenca-Ortega,A.;Escobar,S.;Meseguer,J.:有序等式程序的部分评估框架-模公理(2020)
  2. De Nicola,Rocco;Ferrari,Gianluigi;Pugliese,Rosario;Tiezzi,Francesco:特定领域分布式系统工程的正式方法(2020)
  3. 德兰,弗朗西斯科;埃克尔,史蒂文;埃克尔,圣地亚哥;马蒂奥利特,纳西索;梅斯盖尔,何塞;鲁比奥,鲁宾;卡罗琳塔尔科特:莫德的编程和符号计算(2020年)
  4. 德兰,弗朗西斯科;梅斯盖尔,何塞;罗查,卡米洛:有序有序条件规范的基本汇合模公理(2020)
  5. 卢卡斯,萨尔瓦多:使用有根据的关系证明运营终止(2020年)
  6. Martín,Óscar;Verdejo,Alberto;MartíOliet,Narcisco:重写逻辑中的组合规范(2020)
  7. Meseguer,José:广义重写理论,连贯完成和符号方法(2020)
  8. Alpuente,María;Ballis,Demis;Cuenca Ortega,Angel;Escobar,Santiago;Meseguer,José:(\mathsfACUOS^\mathbf2):一个高性能的模块化ACU泛化系统(2019年)
  9. 阿普特,马里亚;埃斯科巴,圣地亚哥;萨皮娜,茱莉亚;巴利斯,德米斯:莫德理论与纳瓦尔的象征分析(2019)
  10. Aman,Bogdan;Ciobanu,Gabriel:验证迁移和通信超时的多代理系统(2019年)
  11. Gutiérrez,劳尔;Lucas,Salvador:随年龄自动生成逻辑模型(2019)
  12. Johansen,Christian;Owe,Olaf:动态结构操作语义(2019)
  13. Liu,Si;嫘lveczky,Peter Csaba;Wang,Qi;Gupta,Indranil;Meseguer,José:Read atomic transactions with prevention of lost updates:ROLA及其形式分析(2019年)
  14. 卢卡斯,萨尔瓦多:证明语义属性为一阶可满足性(2019)
  15. Nigam,Vivek;Talcott,Carolyn;Urquiza,Abraão Aires:符号时间轨迹等效(2019)
  16. Pavlovic,Dusko(编辑);Hanna,Erin;Lynch,Christopher;Myers,David Jaz;Richardson,Corey:通过cap匹配查找入侵者知识(2019年)
  17. van Binsbergen,L.Thomas;Mosses,Peter D.;Sculthorpe,Neil:《基于组件的可执行语义》(2019)
  18. Aguirre,Luis;MartíOliet,Narciso;Palomino,Miguel;Pita,Isabel:《重写逻辑中的句子规范化条件缩小模》和Maude(2018)
  19. 阿普特,马利亚;巴利斯,德米斯;萨皮尼亚,茱莉亚:推断安全的莫德计划与ÁTAME(2018年)
  20. Basin,David;Cremers,Cas;Meadows,Catherine:模型检查安全协议(2018)

1 2 ... 31 32 33 下一个