特维尔

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


zbMATH中的参考文献(参考文献169篇,2标准条款)

显示169个结果中的1到20个。
按年份排序(引用)

1 2 ... 7 8 9 下一个

  1. 布莱,弗兰çois:赞扬不精确性:对元编程形式化的贡献(2020)
  2. 盖里,洛伦佐;Popescu,Andrei:带绑定的语法的形式化一般理论:扩展版(2020)
  3. 卡利斯齐克,塞扎里;Pąk、 卡罗尔:《米扎尔作为伊莎贝尔对象逻辑的语义》(2019)
  4. 马哈茂德,穆罕默德·尤斯里;Felty,Amy P.:线性逻辑中Quiper量子编程语言的元理论形式化(2019)
  5. 米勒,戴尔:重温机械化元理论(2019)
  6. 阿尔伯托莫米格里亚诺;皮恩卡,布里吉特;大卫·蒂博多:程序设计中的一个案例研究:豪方法(2019)
  7. 切尼,詹姆斯;Alberto Momigliano:(\alpha\mathrmCheck):机械化元理论模型检查器(2017)
  8. 基哈尼,扎卡里亚;米勒,戴尔;Renaud,Fabien:《证据的语义框架》(2017)
  9. Dunfield,Joshua:可扩展数据集优化(2017)
  10. 费雷拉,旧金山;Pientka,Brigitte:使用一流绑定器语法的程序(2017)
  11. 乔治琳娜;阿加塔,穆鲁斯卡;奥蒂斯,肖恩;Pientka,Brigitte:\ textscLincx:具有一流上下文的线性逻辑框架(2017)
  12. 弘塞尔,福里奥;利库里,路易吉;马克西莫维奇,佩塔;斯加内托,伊万:(\mathsfLLF\mathcalP):使用单子对外部证据、附带条件和证明无关性进行建模的逻辑框架(2017)
  13. 凯撒,乔纳斯;皮恩卡,布里吉特;Smolka,Gert:关联系统F和(\lambda2):Coq、Abella和Beluga的案例研究(2017)
  14. 卡利斯齐克,塞扎里;Pąk、 卡罗尔:伊莎贝尔对象逻辑中Mizar属性的表示和操作(2017)
  15. 奥哈德省坎马市;Pretnar,Matija:代数效果和处理程序不需要值限制(2017)
  16. 米勒,戴尔:验证检查和逻辑编程(2017)
  17. Stump,Aaron:从属lambda消去的演算(2017)
  18. 克罗尔,罗伊L。;Furniss,Amy:规范杂交:扩展依赖类型的杂交后代(2016)
  19. 艾森伯格,理查德A。;魏里奇,斯蒂芬妮;Ahmed,Hamidhasan G.:可视化应用(2016)
  20. 费尔特曼,尼古拉斯;安圭利,卡罗;Acar,乌姆特A。;Fatahalian,Kayvon:自动拆分两阶段lambda演算(2016)

1 2 ... 7 8 9 下一个