Obj3

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


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

显示结果101至120的137。
按年份排序(引文
  1. 卢卡努,多勒尔;格豪吉斯,奥维迪乌;阿佩特里,阿德里亚纳:互模拟和隐藏代数。(1999)
  2. MeeGuer-Joe:重写逻辑中的研究方向(1999)
  3. Mossakowski:直到Obj3转化为CASL:制度层面(1999)
  4. Alagar,V. S.;PyyyasaMy,K.:软件系统规范(1998)
  5. 乔米基,简(E..);萨克,京特(ED):数据库和信息系统的逻辑(1998)
  6. 克拉维尔,M;Durn,F;Eker,S;Lincoln,P.;Malui-OLIET;N.MeeGuer-J.:Maple在Mod(1998)中的计算
  7. 埃里克,Hans Dieter;Caleiro,卡洛斯;塞尔纳达,Amilcar;登克尔,GRIT:指定并发信息系统的逻辑(1998)
  8. Eker,史提芬:用操作员评价策略进行术语重写(1998)
  9. 维瑟、埃尔科、Benaissa、Zine el Abidine:重写的核心语言(1998)
  10. Cerioli,Maura;梅塞格,乔西:我可以借用一下你的逻辑吗?(沿着地图传输逻辑结构)(1997)
  11. Haxthausen,Anne Elisabeth:用高阶函数排序的代数规范(1997)
  12. Jouannaud,Jean Pierre;冈田,Mitsuhiro:抽象数据类型系统(1997)
  13. Krogdahl,施泰因;LysNe,Olav:一个分布式列表系统的验证:案例历史(1997)
  14. 桑帕约,奥古斯托:编译设计的代数方法(1997)
  15. Salnela,唐纳德;TaelkKi,ANDRZJ:代数规范和程序开发的基本概念(1997)
  16. Antimirov,瓦伦丁:正则表达式的偏导数和有限自动机构造(1996)
  17. 坎波斯,Marcilia A.;桑帕约,Augusto C. A.;脑机,Alexandre H. F.:利用Obj3(1996)对区间理论进行机械化
  18. 克拉维尔,M;Eker,S;林肯,P.;梅塞格,J:莫德原理(1996)
  19. Diaconescu,R·ZVA:基于等式的模块化逻辑逻辑程序设计(1996)
  20. 吉恩吉格里亚,Fausto;特拉弗索,Paolo:程序策略和逻辑策略(1996)