特威尔

TWELL是一种语言,用于指定、实现和证明演绎系统的属性,如编程语言和逻辑。使用TWELL的大型研究项目包括Talt型汇编语言,一个基础证明携带代码系统,和一个类型的安全证明标准ML。


ZBMaX中的参考文献(163篇)2篇标准文章

显示结果1至20的163。
按年份排序(引文
  1. Karol,伊莎贝尔的对象逻辑(2019)
  2. 艾哈迈迪,Mohamed Yousri;费尔蒂,Amy P.:线性逻辑中量子力学编程语言元理论的形式化(2019)
  3. Miller、Dale:机械化元理论再探(2019)
  4. Momigliano,阿尔伯托;Pitka,汤屹云;锡伯杜,戴维:编程归纳证明的一个实例:Howe方法(2019)
  5. 切尼,杰姆斯;MimigiLango,阿尔伯托:(αalpha):机械化元理论模型检查器(2017)
  6. 基哈尼,扎卡里亚;Miller,Dale;Renaud,Fabien:证明证据的语义框架(2017)
  7. Dunfield,约书亚:可扩展数据集细化(2017)
  8. 费雷拉,弗朗西斯科;Pientka,汤屹云:使用一流绑定的语法程序(2017)
  9. 乔治斯,艾纳林恩;穆拉夫斯卡,阿加塔;奥蒂斯,肖恩;Pitka,汤屹云:\TrutsCLinux:一个具有一流语境的线性逻辑框架(2017)
  10. Honsell,Furio;利库里,路易吉;Maksimovic,PATAR;SigaNETTO,伊凡:(\ MathsFLFf\\MathCalp):利用MUNADS建模外部证据、侧条件和证明无关性的逻辑框架(2017)
  11. KaliSyyk,CeZayy;P.K,Karol:伊莎贝尔对象逻辑(2017)中MiZar性质的表示和操纵
  12. Kammar,Ohad;Prtnar,MaTija:代数效应和处理程序不需要任何值限制(2017)
  13. Miller,Dale:证明检查与逻辑程序设计(2017)
  14. 残根,亚伦:依赖λ消除的演算(2017)
  15. Crole,Roy L.;Foiess,艾米:规范HyBiLLF:扩展相关类型的混合(2016)
  16. Eisenberg,Richard A.;韦里奇,斯蒂芬妮;艾哈迈德,Hamidhasan G.:可见型应用(2016)
  17. 费尔特曼,尼古拉斯;Angiuli,Carlo;Acar,Umut A.;法塔哈里安,Kayvon:自动分裂两阶段λ演算(2016)
  18. Honsell、弗里奥、列尼萨、玛丽娜、利库里、路易吉、斯加涅托、伊凡:康托乐园的实现(2016)
  19. Libal、托默、Miller、Dale:作为构造函数的高阶统一(2016)
  20. 奥利维拉,布鲁诺C.D.S.;S.,Zhiyuan;AlPuIM,Joango:不相交交型(2016)