Obj3

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


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

显示结果21至40的135。
按年份排序(引文
  1. Mossakowski,直到;爪哇OWSKI,WieS.AW;Shanela,唐纳德;TaelkKi,ANDRZJ: CAFEOBO逻辑的分页(2014)
  2. Nakamura,Masaki;OgATA,Kazuhiro;FutaSuGi,Kokichi:Objt规范的终止、合流和充分完备性的增量证明(2014)
  3. Ogata,Kazuhiro;FutaSuGi,Kokichi:基于OTSS重写理论规范的证明分数定理证明(2014)
  4. uüu,iNuu:抽象结构规范的参数化(2014)
  5. 赵,永新;Dong,劲松;刘,杨;孙,军:走向CAFEOBO和PAT的组合(2014)
  6. Rabe,弗洛里安;Kohlhase,米迦勒:一个可扩展的模块系统(2013)
  7. Diaconescu,R·ZVAN:构造规范的公理化方法(2012)
  8. FutaSuGi,Kokichi;G in in,丹尼尔;OgaTa,Kazuhiro:CAFEOBO(2012)中的证明分数原则
  9. 梅塞格,乔斯:重写逻辑的二十年(2012)
  10. Diaconescu,R·ZVAN;Uüu,IONU:结构规范代数(2011)
  11. 阿尔卡恩,Beatriz;古蒂雷斯,拉尔;卢卡斯,萨尔瓦多:语境敏感依赖对(2010)
  12. 卢卡斯,S.:按需策略注释重新审视:一种改进的按需评估策略(2010)
  13. Diaconescu,R·ZVAN:代数规范中的拟布尔编码和条件(2010)
  14. 杜拉恩,弗朗西斯科;MeeGuer-Joe:一个用于条件排序的教会RoSKER检查工具,分类Maude规范(2010)
  15. R.Uü,Gigigor;厄尔布努,Traian Florin:K语义框架的概述(2010)
  16. Shankar,Natarajan:改写、推理和证明(2010)
  17. 阿尔卡恩,Beatriz;卢卡斯,萨尔瓦多:使用上下文敏感重写来证明重写最内层终止(2009)
  18. 阿尔斯通,马里亚;埃斯科巴,圣地亚哥;梅塞格尔,约斯;奥赫,佩德罗:一个模等式推广算法(2009)
  19. 阿尔皮特,马利亚,埃斯科巴,圣地亚哥;梅塞格,约斯;奥赫,佩德罗:排序排序泛化(2009)
  20. Diaconescu,R.Zva:部分代数作为全代数的编码(2009)