莫德

Maude是一种高性能的反射式语言和系统,它支持等式和重写逻辑规范,并为各种应用程序编程。在语言的亚语言中,被认为是重要的语言。除了支持等式规范和编程外,Maude还支持重写逻辑计算。


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

655到655个结果。
按年份排序(引用)

以前的 1 2 ... 31 32 33

  1. Eker,Steven:用操作员评估策略改写术语(1998)
  2. Jouanaud,Jean-Pierre:隶属方程逻辑,归纳指令演算,重写逻辑。(引申摘要)(1998)
  3. Lechner,Ulrike:分布式系统的面向对象规范(1998)
  4. Meseguer,José;Montanari,Ugo:将tile逻辑映射到重写逻辑(1998)
  5. Steggles,L.J.;Kosiuczenko,Piotr:SDL的定时重写逻辑语义:交替位协议的案例研究(1998)
  6. Kosiuczenko,Piotr;Wirsing,Martin:基于对象规范的定时重写逻辑应用(1997)
  7. Lechner,Ulrike:分布式系统的面向对象规范(1997)
  8. Borovanský,Peter;Kirchner,Claude;Kirchner,Hélène:通过重写控制重写(1996)
  9. 克莱维尔,曼努埃尔;梅斯盖尔,何塞:《重写逻辑中的反思与策略》(1996)
  10. Clavel,M.;Eker,S.;Lincoln,P.;Meseguer,J.:莫德原则(1996)
  11. Lechner,Ulrike:分布式系统的面向对象规范(\mu)-微积分和Maude(1996)
  12. 玛蒂奥利特,纳西索;梅斯盖尔,何塞:重写逻辑作为一个逻辑和语义框架(1996)
  13. Pita,Isabel;MartíOrliet,Narciso:电信网络面向对象数据库模型的Maude规范(1996)
  14. Meseguer,José:作为并发统一模型的条件重写逻辑(1992)
  15. El Sherief,H.;Maud,M.A.:用于实时识别多变量系统的专用微处理器(1984)

以前的 1 2 ... 31 32 33