莫德

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


zbMATH中的参考文献,3标准条款)

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

1 2 ... 31 32 33 下一个

  1. Alpuente,M.;Ballis,D.;Sapiña,J.:通过在\textsfÁTAME系统中的项目专业化,有效实施Maude项目的安全性(2020年)
  2. Alpuente,M.;Cuenca-Ortega,A.;Escobar,S.;Meseguer,J.:有序等式程序的部分评估框架-模公理(2020)
  3. De Nicola,Rocco;Ferrari,Gianluigi;Pugliese,Rosario;Tiezzi,Francesco:特定领域分布式系统工程的正式方法(2020)
  4. Diaconescu,Răzvan:引入(H),一种基于机构的正式规范和验证语言(2020)
  5. 德兰,弗朗西斯科;埃克尔,史蒂文;埃克尔,圣地亚哥;马蒂奥利特,纳西索;梅斯盖尔,何塞;鲁比奥,鲁宾;卡罗琳塔尔科特:莫德的编程和符号计算(2020年)
  6. 德兰,弗朗西斯科;梅斯盖尔,何塞;罗查,卡米洛:有序有序条件规范的基本汇合模公理(2020)
  7. Eeralla,Ajay Kumar;Lynch,Christopher:有界ACh统一(2020)
  8. Găină,Daniel;Nakamura,Masaki;Ogata,Kazuhiro;Futatsugi,Kokichi:通过合并推出的终止稳定性和充分完整性(2020年)
  9. 卢卡斯,萨尔瓦多:使用有根据的关系证明运营终止(2020年)
  10. Martín,Óscar;Verdejo,Alberto;MartíOliet,Narcisco:重写逻辑中的组合规范(2020)
  11. Meseguer,José:广义重写理论,连贯完成和符号方法(2020)
  12. Miranda Perea,Favio E.;González Huesca,Lourdes del Carmen;Linares Arévalo,P.Selene:用于等式推理的交互式证明搜索(2020)
  13. Zhao,Xin;Haller,Philipp:统一最终一致性和可观测原子一致性的复制数据类型(2020)
  14. Alpuente,María;Ballis,Demis;Cuenca Ortega,Angel;Escobar,Santiago;Meseguer,José:(\mathsfACUOS^\mathbf2):一个高性能的模块化ACU泛化系统(2019年)
  15. 阿普特,马里亚;埃斯科巴,圣地亚哥;萨皮娜,茱莉亚;巴利斯,德米斯:莫德理论与纳瓦尔的象征分析(2019)
  16. Aman,Bogdan;Ciobanu,Gabriel:验证迁移和通信超时的多代理系统(2019年)
  17. Găină,Daniel;Ţuţu,Ionuţ:混合动态一阶逻辑的Birkhoff完备性(2019)
  18. Gutiérrez,劳尔;Lucas,Salvador:随年龄自动生成逻辑模型(2019)
  19. Hamana,Makoto:如何用二阶计算分析仪SOL证明方程理论的可判定性(2019)
  20. Johansen,Christian;Owe,Olaf:动态结构操作语义(2019)

1 2 ... 31 32 33 下一个