莫德

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


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

显示652中的41到60个结果。
按年份排序(引用)
  1. Maggi,Alessandro;Petrocchi,Marinella;Spognardi,Angelo;Tiezzi,Francesco:基于语言的Twitter交互建模和分析方法(2017)
  2. Meseguer,José:条件重写模公理的严格一致性(2017)
  3. Meseguer,José;Skeirik,Stephen:初始序排序代数中的方程公式和模式运算(2017)
  4. 厄尔维茨基,彼得·卡萨巴:设计可靠的分布式系统。2017年(基于可执行方法的形式化建模)
  5. Riesco,Adrián;Ogata,Kazuhiro:来自半正式证明文件的正式证明生成器(2017)
  6. Riesco,Adrián;Ogata,Kazuhiro;Futatsugi,Kokichi:CafeOBJ的Maude环境(2017)
  7. Rocha,Camilo;Meseguer,José;Muñoz,César:重写模块SMT和开放系统分析(2017)
  8. Roşu,Grigore:匹配逻辑(2017)
  9. 执行高级程序和高级程序(AIRUSE-2017)
  10. Almendros Jiménez,Jesús M.;Iribarne,Luis;López Fernández,Jesús;Mora Segura,Ángel:PTL:基于逻辑编程的模型转换语言(2016)
  11. alpunte,María;Ballis,Demis;Frechina,Francisco;Sapiña,Julia:通过运行时断言检查和跟踪切片调试Maude程序(2016)
  12. Alpuente,M.;Frechina,F.;Sapiña,J.;Ballis,D.:通过切片(\mathsfABETS)进行基于断言的分析(系统描述)(2016年)
  13. Arcaini,Paolo;Holom,Roxana Maria;Riccobene,Elvinia:基于ASM的云系统自适应组件正式设计(2016)
  14. Bartoletti,Massimo;Cimoli,Tiziana;Michele Pinna,G.;Zunino,Roberto:《作为活动结构游戏的合同》(2016年)
  15. Braga,Christiano;Lopes,Bruno:用重写逻辑走向动态逻辑中的推理:Petri PDL案例(2016)
  16. Ciobanu,Gabriel;Horne,Ross:使用结构演算的会话行为分析(2016)
  17. Colvin,Robert J.:使用混合过程代数建模和分析神经网络(2016)
  18. De Giacomo,Giuseppe;Lespérance,Yves;Patrizi,Fabio;Vassos,Stavros:情境演算的进展与验证,有界信念(2016)
  19. Dundua,Besik;Florido,Mário;Kutsia,Temur;Marin,Mircea:CLP((\mathsfH)):对冲的约束逻辑编程(2016)
  20. 杜兰,弗朗西斯科;埃克尔,史蒂文;埃克尔,圣地亚哥;马蒂奥利特,纳西索;梅斯盖尔,何塞;塔尔科特,卡罗琳:内置变体生成和统一及其在莫德2.7中的应用(2016)