莫德

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


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

显示652的结果101到120。
按年份排序(引用)
  1. Lucanu,Dorel;Rusu,Vlad;Arusoaie,Andrei;Nowak,David:验证重写逻辑规范的可达性逻辑属性(2015)
  2. 卢卡斯,萨尔瓦多:上下文相关重写的完整性(2015)
  3. Lucas,萨尔瓦多;Meseguer,José:通用逻辑中的局部操作终止(2015)
  4. MartíOliet,Narciso;_lveczky,Peter Csaba;Talcott,Carolyn:JoséMeseguer:杰出的科学家和朋友(2015)
  5. Meseguer,José;Skeirik,Stephen:初始序排序代数中的方程公式和模式运算(2015)
  6. Mosses,Peter D.;Vesely,Ferdinand:作为MSO一致性的弱相互刺激(2015)
  7. Stefanie Neubert;Lenz Belzner;Martin Wirsing:代数强化学习。基于术语泛化的关系强化学习假设归纳。(2015年)
  8. Palacios,Adrián;Vidal,Germanán:走向术语重写中基于角色的并发建模(2015)
  9. 彭士立;胡庆华;陈银丽;党建武:异构数据的改进支持向量机算法(2015)
  10. Riesco,Adrián;Asavoae,Irina Mariuca;Asavoae,Mihail:Maude语义规范的记忆策略分析(2015)
  11. Roşu,Grigore:从重写逻辑到编程语言语义,再到程序验证(2015)
  12. Carolyn Talcott;Arbab,Farhad;Yadav,Maneesh:软代理:探索软约束以建模鲁棒自适应分布式网络物理代理系统(2015)
  13. Aceo,Luca;Ingolfsdottir,Anna;Goriac,Eugen Ioan:幂等项和幂等一元运算符的SOS规则格式(2014)
  14. Alpuente,María;Ballis,Demis;Frechina,Francisco;Sapiña,Julia:检查重写逻辑计算(以参数化和逐步方式)(2014年)
  15. Alpuente,María;Escobar,Santiago;Espert,Javier;Meseguer,José:一种模序排序的等式推广算法(2014)
  16. Alpuente,María;Escobar,Santiago;Espert,Javier;Meseguer,José:一个模块化ACU泛化系统及其子类型和继承(2014)
  17. Arusoaie,Andrei;Lucanu,Dorel;Rusu,Vlad;Şerbănuţă,Traian Florin;Ştefănescu,Andrei;Roşu,Grigore:语言定义作为重写理论(2014)
  18. 《模块语义学的整合》,HailăAs,2014年
  19. Bach Poulsen,Casper;Mosses,Peter D.:为模块化结构操作语义生成专门的解释器(2014)
  20. Bartoletti,Massimo;Murgia,Maurizio;Scalas,Alceste;Zunino,Roberto:Maude中面向契约的系统建模与验证(2014)