莫德

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


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

显示结果601到620,共652个。
按年份排序(引用)
  1. 范德波尔(Van De Pol),《杰科:准时制:战略诠释》(2001)
  2. Visser,Eelco:程序转换系统中重写策略的调查(2001)
  3. 艾伦,斯图亚特F.;康斯特布尔,罗伯特L.;伊顿,里奇;克里茨,克里斯托夫;洛里戈,洛里:Nuprl开放逻辑环境(2000)
  4. Bachmair,Leo;Tiwari,Ashish:抽象同余闭包与特化(2000)
  5. 大卫·巴森;曼努埃尔·克莱维尔;梅斯盖尔,何塞:《将逻辑改写为一个金属学框架》(2000)
  6. Basin,David;Denker,Grit:Maude与Haskell:安全协议分析的实验比较(2000)
  7. Bouhoula,A.;Jouanaud,J.-P.;Meseguer,J.:成员资格等式逻辑的规范和证明(2000)
  8. Cirstea,Horatiu;Kirchner,Claude:使用(\rho)演算结合高阶和一阶计算:走向ELAN的语义(2000)
  9. 克莱维尔:重写逻辑中的反思。金属基础和元编程应用(2000)
  10. 克莱维尔,M.;杜兰,F.;埃克尔,S.;林肯,P.;马蒂·奥利特,N.;梅斯盖尔,J.;奎萨达,J.F.:朝向莫德2号。0(2000年)
  11. Clavel,M.;Duran,F.;Marti Oliet,N.:Maude的多型编程(2000)
  12. Crossley,John N.;Poernomo,Iman;Wirsing,Martin:从规范证明中提取结构化程序(2000)
  13. Denker,G.;Meseguer,J.;Talcott,C.:重写元对象和可组合分布式服务的语义(2000)
  14. de O.Braga,Christiano;Haeusler,E.Hermann;Meseguer,José;Mosses,Peter D.:Maude action tool:使用反射将动作语义映射到重写逻辑(2000)
  15. 杜兰,弗朗西斯科:模代数的可拓性(2000)
  16. 杜兰,弗朗西斯科;梅斯盖尔,何塞:参数化理论和观点在完整的Maude 2中。0(2000年)
  17. Fox,A.C.J.;Harman,N.A.:微处理器正确性的代数模型(2000)
  18. Goguen,Joseph;Lin,Kai;Rosu,Grigore:行为和创造性重写(2000)
  19. Mason,Ian A.;Talcott,Carolyn L.:Maude内的简单网络协议模拟(2000)
  20. 梅斯盖尔,何塞:重写逻辑与Maude:概念与应用(2000)