莫德

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


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

显示652的61到80个结果。
按年份排序(引用)
  1. Genet,Thomas:树自动机完成的终止标准(2016)
  2. Jaskolka,Jason;Khedri,Ridha:基于沟通潜力分析的缓解秘密渠道(2016)
  3. Kahramanoıulları,Ozan:深层推理证明的真实并发性(2016)
  4. Kezadri Hamiaz,Mounira;Pantel,Marc;Thirioux,Xavier;Combemale,Benoit:由施工模型驱动的工程组合操作员纠正(2016年)ioport公司
  5. Liu,Si;厄尔维茨基,Peter Csaba;Meseguer,José:实时Maude移动自组网建模与分析(2016)
  6. Lochau,Malte;Mennicke,Stephan;Baller,Hauke;Ribbeck,Lars:面向增量的软件产品线的增量模型检查(2016)
  7. Lucas,Salvador:在一般逻辑中使用逻辑模型证明操作终止(2016)
  8. Lucas,Salvador;Meseguer,José:条件重写中的范式和范式理论(2016)
  9. Martín,Óscar;Verdejo,Alberto;MartíOliet,Narciso:平等国家过渡系统(2016)
  10. Martín,Óscar;Verdejo,Alberto;MartíOliet,Narciso:重写系统的同步产品(2016)
  11. Meseguer,José:有序排序重写和同余闭包(2016)
  12. Riesco,Adrián;Ogata,Kazuhiro;Futatsugi,Kokichi:Cafeinmaude:Cafeinmaude的cafeobj翻译(2016)ioport公司
  13. 可及性,可及性,阿鲁苏,2016年
  14. Rusu,Vlad;Lucanu,Dorel;Şerbănuţă,Traian Florin;Arusoaie,Andrei;Ştefănescu,Andrei;Roşu,Grigore:语言定义作为重写理论(2016)
  15. 《拉伊尔班尼》(Traireban string,2016年)
  16. Stephen Skeirik;Meseguer,José:变量可满足性的Metalevel算法(2016)
  17. ter Beek,Maurice H.;Fantechi,Alessandro;Gnesi,Stefania;Mazzanti,Franco:产品系列中的可变性建模和分析:具有可变性约束的模态转换系统的模型检查(2016年)
  18. 张庆磊;Khedri,Ridha:论面向方面产品族代数的编织过程(2016)
  19. Aguirre,Luis;MartíOliet,Narciso;Palomino,Miguel;Pita,Isabel:《重写逻辑中的句子规范化条件缩小模》和Maude(2015)
  20. Alpuente,María;Ballis,Demis;Frechina,Francisco;Sapiña,Julia:结合运行时检查和切片改进Maude错误诊断(2015)