莫德

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


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

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

1 2 ... 32 33 34 下一个

  1. 布朗丁,莫德乔斯ée: 多约束非线性系统的控制器整定优化方法。元启发式方法(2021)
  2. 多克特,卡斯帕;加杜奇,法比奥;狮子,本杰明;Santini,Francesco:带记忆的软约束自动机(2021)
  3. 阿尔普特,M。;巴利斯,D。;萨皮ña、 J.:Maude项目的高效安全执行通过\textsf中的程序专业化ÁTAME系统(2020)
  4. 阿尔普特,M。;Cuenca Ortega,A。;埃斯科瓦尔。;Meseguer,J.:有序等式程序模公理的部分评估框架(2020)
  5. 卡莱特,雅克;农民,威廉M。;Sharoda,Yasmine:利用理论陈述中包含的信息(2020年)
  6. 德尼古拉,罗科;法拉利,吉安鲁吉;普利斯,罗萨里奥;Tiezzi,Francesco:一种域特定分布式系统工程的正式方法(2020)
  7. 一个混蛋ăzvan:引入(H),一种基于机构的正式规范和验证语言(2020)
  8. 杜尔án、 弗朗西斯科;埃克,史蒂文;圣地亚哥埃斯科巴;市场í-奥利特,纳西索;梅斯盖尔,乔斯é; 卢比奥,卢布én;Carolyn Talcott:Maude的编程和符号计算(2020)
  9. 杜尔án、 弗朗西斯科;梅斯盖尔,乔斯é; Rocha,Camilo:《有序有序条件规范模公理的基础汇合》(2020)
  10. 埃拉拉,阿杰·库马尔;克里斯托弗·林奇:有界ACh统一(2020)
  11. Gă在里面ă, 丹尼尔;中村正崎;绪方、和谷弘;Futatsugi,Kokichi:通过合并推出的终止稳定性和充分完整性(2020年)
  12. 卢卡斯,萨尔瓦多:使用有根据的关系证明运营终止(2020年)
  13. 卢卡斯,萨尔瓦多;梅斯盖尔,乔斯é; 古蒂é瑞兹,罗来纳州úl: 条件重写系统的2D依赖对框架。二: 先进处理器和实现技术(2020)
  14. 市场ín,Ó疤痕;阿尔伯托威尔德乔;市场í-奥利特,纳西斯科:重写逻辑中的组合规范(2020)
  15. 梅斯盖尔,乔斯é: 广义重写理论,一致性完成和符号方法(2020)
  16. 米兰达佩雷亚,法维奥E。;冈茨á莱兹·胡埃斯卡,鲁尔德·德尔·卡门;利纳雷斯Aré瓦洛,P。赛琳娜:等式推理的交互式证明搜索(2020)
  17. Quaresma,Pedro:几何中的自动推理和知识管理(2020)
  18. 赵欣;Haller,Philipp:统一最终一致性和可观测原子一致性的复制数据类型(2020)
  19. 阿普特,马尔ía;巴利斯,黛米斯;昆卡·奥尔特加,天使;圣地亚哥埃斯科巴;梅斯盖尔,乔斯é: (\mathsfACUOS^\mathbf2):一个高性能的模块化ACU泛化系统(2019)
  20. 阿普特,马尔ía;圣地亚哥埃斯科巴;萨皮娜,茱莉亚;Ballis,Demis:Maude理论与Narval的符号分析(2019)

1 2 ... 32 33 34 下一个