莫德

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


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

显示657的结果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. 卢卡斯,萨尔瓦多:使用有根据的关系证明运营终止(2020年)
  8. Martín,Óscar;Verdejo,Alberto;MartíOliet,Narcisco:重写逻辑中的组合规范(2020)
  9. Meseguer,José:广义重写理论,连贯完成和符号方法(2020)
  10. Zhao,Xin;Haller,Philipp:统一最终一致性和可观测原子一致性的复制数据类型(2020)
  11. Alpuente,María;Ballis,Demis;Cuenca Ortega,Angel;Escobar,Santiago;Meseguer,José:(\mathsfACUOS^\mathbf2):一个高性能的模块化ACU泛化系统(2019年)
  12. 阿普特,马里亚;埃斯科巴,圣地亚哥;萨皮娜,茱莉亚;巴利斯,德米斯:莫德理论与纳瓦尔的象征分析(2019)
  13. Aman,Bogdan;Ciobanu,Gabriel:验证迁移和通信超时的多代理系统(2019年)
  14. Găină,Daniel;Ţuţu,Ionuţ:混合动态一阶逻辑的Birkhoff完备性(2019)
  15. Gutiérrez,劳尔;Lucas,Salvador:随年龄自动生成逻辑模型(2019)
  16. Hamana,Makoto:如何用二阶计算分析仪SOL证明方程理论的可判定性(2019)
  17. Johansen,Christian;Owe,Olaf:动态结构操作语义(2019)
  18. Liu,Si;嫘lveczky,Peter Csaba;Wang,Qi;Gupta,Indranil;Meseguer,José:Read atomic transactions with prevention of lost updates:ROLA及其形式分析(2019年)
  19. 卢卡斯,萨尔瓦多:证明语义属性为一阶可满足性(2019)
  20. Nigam,Vivek;Talcott,Carolyn;Urquiza,Abraão Aires:符号时间轨迹等效(2019)

1 2 ... 31 32 33 下一个