Obj3

Obj3是一种基于有序排序等式逻辑的程序规范和证明系统。它已成功地应用于软件设计和规范、快速原型、定理证明、用户界面设计和硬件验证等方面的研究和教学。它是实现参数化编程的第一种语言,它的模块系统影响了艾达、C++、ML模块系统的设计。来源HTTP:/FreCooDE.COM/


ZBMaCT中的参考文献(137篇文章中引用)

显示结果81至100的137。
按年份排序(引文
  1. Goguen,约瑟夫;罗格,格里格:制度形态主义(2002)
  2. 卢卡斯·萨尔瓦多:语境敏感的改写策略(2002)
  3. 卢卡斯:Selabor:懒惰改写和上下文敏感改写(2002)
  4. MeeGuer-Joee;Rosu,GRIGOR:一种部分代数规范的总体方法(2002)
  5. MeeGuer-Joee,Roüu,Gigig:迈向行为莫德:行为隶属等式逻辑(2002)
  6. Mossakowski,直到:将CASL与其他规范语言相关:机构级别。(2002)
  7. Viry,帕特里克:重写逻辑的等式规则(2002)
  8. 菲舍尔,贝尔恩德;罗格,格里格:解释成员关系等式逻辑中的抽象解释(2001)
  9. 基什内尔,Hell Lene;Muluo,Pierre Etienne:促进改写为编程语言:关联交换理论中非确定性重写程序的编译器(2001)
  10. 卢卡斯:萨尔瓦多:用策略注解终止重写(2001)
  11. Nicol,乔奎恩;Toval,安布罗西奥;阿雷纳斯,奥雷利奥;阿尔卡尔德,胡安:原子分辨率显微镜控制和地形图的形式验证和验证(2001)
  12. Rigu,Gigig:完全范畴等式推导(2001)
  13. Van De Pol,哈科:及时出版:战略注释(2001)
  14. Jouannaud,J.P.MeSeGuer-J.:Eng-等式逻辑中的规范和证明(2000)
  15. Duran,弗朗西斯科;梅塞格,若泽:《完全莫德2》中的参数化理论与观点。0(2000)
  16. Goguen,Joseph A.;马尔科姆,格兰特:一个隐藏的议程(2000)
  17. Goguen,约瑟夫;林,开;罗素,格里格:行为和共感重写(2000)
  18. MeeGuer-Joe:重写逻辑和莫德:基于对象的分布式系统的广谱语义框架(2000)
  19. Bowen,Jonathan P.(ED);Hinchey,Michael G.(ED):高完整性系统规范和设计(1999)
  20. Goguen,Joseph A.;马尔科姆,格兰特:隐藏共诱导:对象行为正确性证明(1999)