莫德

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


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

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

1 2 ... 32 33 34 下一个

  1. Blondin,Maude Josée:多约束和非线性系统的控制器优化方法。元启发式方法(2021)
  2. 加尔泰斯,乔治亚娜;Tunç,Hünkar Can:解释NetKAT的安全故障(2021年)
  3. 多克特,卡斯帕;加杜奇,法比奥;狮子,本杰明;Santini,Francesco:带记忆的软约束自动机(2021)
  4. 邓杜瓦,贝西克;特穆尔库兹亚;Marin,Mircea:结合和交换理论中的变分方程匹配(2021)
  5. 卢卡斯,萨尔瓦多:上下文相关重写的应用和扩展(2021)
  6. 谢婉玲;朱惠标;徐启文:移动系统的过程演算及其形式语义(2021)
  7. 阿普特,玛里亚;昆卡·奥尔特加,天使;圣地亚哥埃斯科巴;Meseguer,José:结合性和/或交换性公理的有序同胚嵌入模组合(2020)
  8. 阿普特,玛里亚;帕多,丹尼尔;艾丽西亚维拉纽瓦:符号(\mathbk)框架下的抽象合同合成与验证(2020)
  9. 阿尔普特,M。;巴利斯,D。;Sapiña,J.:Maude项目的有效安全执行,通过项目专业化在\textsfÁTAME系统(2020年)
  10. 阿尔普特,M。;Cuenca Ortega,A。;埃斯科瓦尔。;Meseguer,J.:有序等式程序模公理的部分评估框架(2020)
  11. 卡莱特,雅克;农民,威廉M。;Sharoda,Yasmine:利用理论陈述中包含的信息(2020年)
  12. 德尼古拉,罗科;法拉利,吉安鲁吉;普利斯,罗萨里奥;Tiezzi,Francesco:一种域特定分布式系统工程的正式方法(2020)
  13. Diaconescu,Răzvan:引入(H),一种基于机构的正式规范和验证语言(2020)
  14. 杜兰,旧金山;埃克,史蒂文;圣地亚哥埃斯科巴;玛蒂奥利特,纳西索;梅斯盖尔,何塞;鲁比奥,鲁宾;Carolyn Talcott:Maude的编程和符号计算(2020)
  15. 杜兰,旧金山;梅斯盖尔,何塞;Rocha,Camilo:《有序有序条件规范模公理的基础汇合》(2020)
  16. 埃拉拉,阿杰·库马尔;克里斯托弗·林奇:有界ACh统一(2020)
  17. 但以理阿,以理;中村正崎;绪方、和谷弘;Futatsugi,Kokichi:通过合并推出的终止稳定性和充分完整性(2020年)
  18. 卢卡斯,萨尔瓦多:使用有根据的关系证明运营终止(2020年)
  19. 卢卡斯,萨尔瓦多;梅斯盖尔,何塞;Gutiérrez,劳尔:条件重写系统的2D依赖对框架。二: 先进处理器和实现技术(2020)
  20. 马丁斯,Óscar;阿尔伯托威尔德乔;MartíOliet,Narcisco:重写逻辑中的组合规范(2020)

1 2 ... 32 33 34 下一个