莫德

Maude是一种高性能的反射性语言和系统,支持等式和重写逻辑规范和编程,适用于广泛的应用。Maude受到了Obj3语言的重要影响,可以看作是一个等值逻辑子语言。除了支持等式规范和编程之外,Maude还支持重写逻辑计算。


ZBMaX中的参考文献(650篇)3篇标准文章

显示结果601至620的650。
按年份排序(引文
  1. 艾伦,斯图亚特F;康斯特布尔,Robert L.;伊顿,瑞奇;克雷兹,克里斯托夫;LeReGo,洛里:NuPRL开放的逻辑环境(2000)
  2. Bachmair,雷欧;蒂瓦里,亚希什:抽象同余闭包与特殊化(2000)
  3. 盆地,戴维;克拉维尔,曼努埃尔;梅塞格,约瑟夫:作为元话语框架的改写逻辑(2000)
  4. 盆地,戴维;登克尔,沙特:莫德对哈斯克尔:安全协议分析的实验比较(2000)
  5. Jouannaud,J.P.MeSeGuer-J.:Eng-等式逻辑中的规范和证明(2000)
  6. Calista,Horatiu;基什内尔,克劳德:使用(RHO)演算结合高阶和一阶计算:ELAN(2000)的语义
  7. 克拉维尔,曼努埃尔:重写逻辑的反思。元语言基础与元程序设计应用(2000)
  8. 克拉维尔,M;Duran,F;Eker,S;林肯,P.;Marti Oliet,N;MeeGuer-J;克萨达,J. F.:走向莫德2。0(2000)
  9. 克拉维尔,M;Duran,F;Marti Oliet,N: Mod(2000)中的多类型程序设计
  10. Crossley,John N.;PoeNoMo,伊曼;Wirsing,马丁:从规范证明中提取结构化程序(2000)
  11. 登克尔,G.MeeGuer-J;TalCOTT,C:重写元对象和可组合分布式服务的语义(2000)
  12. de O. Braga,Christiano;HeaSulle,E. Hermann;MeSeGuer-Joee;Mosses,Peter D.:Maude行动工具:使用反射将动作语义映射到重写逻辑(2000)
  13. DuraN,弗朗西斯科:Maude模代数的可扩性(2000)
  14. Duran,弗朗西斯科;梅塞格,若泽:《完全莫德2》中的参数化理论与观点。0(2000)
  15. 福克斯,A. C. J.;哈曼,N. A.:微处理器正确性的代数模型(2000)
  16. Goguen,约瑟夫;林,开;罗素,格里格:行为和共感重写(2000)
  17. Mason,Ian A.;塔尔科特,Carolyn L.:Mod(2000)中的简单网络协议仿真
  18. MeeGuer-Joe:重写逻辑和莫德:基于对象的分布式系统的广谱语义框架(2000)
  19. MeeGuer-Joe:重写逻辑与Maude:概念与应用(2000)
  20. MeeGuer-Joee: Moad(2000)中通信系统的指定、分析和编程