特维尔

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


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

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

1 2 ... 7 8 9 下一个

  1. Bry,francois:赞扬不精确性:对元编程形式化的贡献(2020)
  2. 盖里,洛伦佐;波佩斯库,安德烈:带绑定的语法形式化一般理论:扩展版(2020)
  3. Kaliszyk,Cezary;Pąk,Karol:Mizar作为Isabelle对象逻辑的语义(2019)
  4. Mahmoud,Mohamed Yousri;Felty,Amy P.:线性逻辑中Quiper量子编程语言的元理论形式化(2019)
  5. 米勒,戴尔:重温机械化元理论(2019)
  6. 阿尔伯托Momigliano;Pientka,Brigitte;Thibodeau,David:程序设计中的一个案例研究:Howe方法(2019)
  7. Cheney,James;Momigliano,Alberto:(\alpha\mathrmCheck):机械化元理论模型检查器(2017)
  8. Chihani,Zakaria;Miller,Dale;Renaud,Fabien:证据的语义框架(2017)
  9. Dunfield,Joshua:可扩展数据集优化(2017)
  10. Ferreira,Francisco;Pientka,Brigitte:使用一流绑定器的语法的程序(2017年)
  11. 2017年,布林卡(Georgeinta-Murantka),逻辑框架:第一类:布林卡(Georgeina-Muranta);第1类:逻辑框架
  12. (\MathUp,Simulvovic,外部条件:Simulvori,Simulvovic;Simulvovic和Simulvovic,2017;Simul-Provice;Simulvovic;Simulvovic)
  13. Kaliszyk,Cezary;Pąk,Karol:Isabelle对象逻辑中Mizar属性的表示和操作(2017)
  14. Kammar,Ohad;Pretnar,Matija:代数效果和处理程序不需要值限制(2017)
  15. 米勒,戴尔:验证检查和逻辑编程(2017)
  16. Stump,Aaron:从属lambda消去的演算(2017)
  17. Crole,Roy L.;Furniss,Amy:规范杂交:扩展依赖类型的杂交后代(2016)
  18. Eisenberg,Richard A.;Weirich,Stephanie;Ahmed,Hamidhasan G.:可见类型应用(2016)
  19. Nicolas Feltman;Angiuli,Carlo;Acar,Umut A.;Fatahalian,Kayvon:自动拆分两阶段lambda演算(2016)
  20. Honsell,Furio;Lenisa,Marina;Likori,Luigi;Scagnetto,Ivan:实施康托天堂(2016)

1 2 ... 7 8 9 下一个