Obj3

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


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

显示结果1至20的127。
按年份排序(引文
  1. 杜拉恩,弗朗西斯科;Eker,史提芬;埃斯科巴,圣地亚哥;MaMi'-OLIET,纳西索;MeeGuer-Joee;Rubio,RoueN;塔尔科特,卡洛琳:Mod(2020)中的程序设计和符号计算
  2. 杜拉恩,弗朗西斯科;梅塞格,约瑟夫;罗查,卡米洛:有序排序条件规范的公理汇合公理(2020)
  3. 卢卡斯,萨尔瓦多;古蒂雷斯,RA:顺序排序一阶理论的逻辑模型的自动综合(2018)
  4. 卢卡斯,萨尔瓦多;MeSeGuer-Joee;GuTyeRrz,Ra:L:条件重写系统的2D依赖对框架。I:定义和基本处理器(2018)
  5. 卢卡斯,萨尔瓦多;MeeGuer-Joe:依赖条件对证明条件项重写系统的终止性质(2017)
  6. MeeGuer-Joee:条件重写模公理的严格相干性(2017)
  7. MeeGuer-Joeik;Skiikk,史蒂芬:初等排序代数中的等式公式和模式运算(2017)
  8. Rabe,弗洛里安:态射公理(2017)
  9. RiSeCo,阿德里安,OgATA,Kazuhiro;FutaTuGi,KKICHI:一个用于CAFEOBO的Mod环境(2017)
  10. Diaconescu,R·ZVAN:一阶视图的功能语义(2016)
  11. 卢卡斯,萨尔瓦多;梅塞格,约瑟夫:条件重写中的正常形式和正常理论(2016)
  12. 克拉维尔,曼努埃尔;杜兰,弗朗西斯科;Eker,史提芬;埃斯科巴,圣地亚哥;林肯,帕特里克;Mauli-OLIET,纳西索;Pig,Y:二十年的莫德(2015)
  13. 卢卡斯,萨尔瓦多:在上下文敏感重写终止时函数调用冻结位置(2015)
  14. MeeGuer-Joeik;Skiikk,史蒂芬:初等排序代数中的等式公式和模式运算(2015)
  15. Rabe,弗洛里安:Lax理论态射(2015)
  16. 阿尔斯通,马里亚;埃斯科巴,圣地亚哥;埃斯佩特,哈维尔;梅塞格尔,约瑟夫:一种模序排序的等值泛化算法(2014)
  17. Bertolissi,克拉拉;费恩南德斯,Maribel:分布式环境访问控制的元模型:应用和性质(2014)
  18. B.J.RNER,DIENS:领域持久性。一种分析描述过程模型(2014)
  19. Diaconescu,R ZZVA:CAFEOBO踪迹(2014)
  20. 马丁斯,Manuel A.;马德拉群岛,亚历山大;巴博萨,卢·S:逻辑解释在程序开发中的作用(2014)