莫德

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


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

显示652的结果21到40。
按年份排序(引用)
  1. Basin,David;Cremers,Cas;Meadows,Catherine:模型检查安全协议(2018)
  2. Ciob–că,Ştefan;Lucanu,Dorel:一种证明逻辑约束项重写系统中可达性属性的共同归纳方法(2018)
  3. Confalonieri,Roberto;Eppe,Manfred;Schorlemmer,Marco;Kutz,Oliver;Peñaloza,Rafael;Plaza,Enric:描述逻辑中概念混合的向上精化运算符(\mathcalEL^++)(2018年)
  4. Lemos,Marcilio O.O.;Dantas,Yuri Gil;Fonseca,Iguatemi E.;Nigam,Vivek:关于TDoS攻击选择性防御的正式验证准确性(2018)
  5. Liu,Si;収lveczky,Peter Csaba;Santhanam,Keshav;Wang,Qi;Gupta,Indranil;Meseguer,José:ROLA:一种新的分布式事务协议及其形式化分析(2018)
  6. Lochbihler,Andreas:Isabelle/HOL中的快速机器词(2018)
  7. Lucas,萨尔瓦多;Gutiérrez,Raúl:有序排序一阶理论逻辑模型的自动合成(2018)
  8. Lucas,Salvador;Meseguer,José;Gutiérrez,Raúl:条件重写系统的2D依赖对框架。一: 定义和基本处理器(2018)
  9. Stephen Skeirik;Meseguer,José:变量可满足性的Metalevel算法(2018)
  10. Zhang,Min;Ogata,Kazuhiro:从隐藏到可见:将行为理论转化为重写理论的统一框架(2018)
  11. Alpuente,María;Cuenca Ortega,Angel;Escobar,Santiago;Meseguer,José:有序等式程序的部分评估模块公理(2017)
  12. Bartoletti,Massimo;Murgia,Maurizio;Scalas,Alceste;Zunino,Roberto:面向契约系统的可验证抽象(2017)
  13. Bhattacharyya,Anirban;Mokhov,Andrey;Pierce,Ken:可靠系统动态重构建模与分析的经验比较(2017)
  14. Mario Bravetti;Elena Giachino;Michael Lienhardt;Wong,Peter Y.H.:并发对象组的动态重新绑定:理论与实践(2017)
  15. 巴特菲尔德,安德鲁:Utpcalc——UTP谓词的计算器(2017)
  16. 弗朗西斯科的杜兰;安东尼奥的莫雷诺·德尔加多;费尔南多的奥雷哈斯;斯特芬的茨查尔:领域特定语言与行为的融合(2017)
  17. Kanovich,Max;Ban Kirigin,Tajana;Nigam,Vivek;Scedrov,Andre;Talcott,Carolyn;Perovic,Ranko:受法规约束活动的重写框架和逻辑(2017年)
  18. Kop,Cynthia;Middeldorp,Aart;Sternagel,Thomas:条件术语重写的复杂性(2017)
  19. Lucanu,Dorel;Rusu,Vlad;Arusoaie,Andrei:《符号执行的一般框架:一种共同归纳法》(2017)
  20. Lucas,Salvador;Meseguer,José:证明条件项重写系统终止性质的依赖对(2017)