精灵

精灵的元语言。ELF是一种基于LF逻辑框架的约束逻辑程序设计语言。它没有任何联系到ELF®统计包,一个商业产品由Wijnon集团,公司ELF是统一的元语言,指定,实施和证明编程语言和逻辑的属性。它已被应用到各种例子中,其中一些在发表的论文中可以通过LF和ELF的参考书目来描述。其他人在《计算与演绎》课程的注释中描述,这些课程尚未公开。还有一个更全面的逻辑框架的参考书目。在卡内基梅隆大学的LF和ELF的工作由NSF授予CCR-930338(主要调查者Robert Harper和Frank Pfenning)支持。


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

显示结果1至20的43。
按年份排序(引文
  1. Miller、Dale:机械化元理论再探(2019)
  2. RiSeCo,阿德里安,OgATA,Kazuhiro;FutaTuGi,KKICHI:一个用于CAFEOBO的Mod环境(2017)
  3. Savary Belanger,奥利维尔;MNNIER,斯特凡;PiToKa,汤屹云:使用高阶抽象语法的编程类型安全变换(2013)
  4. 梅塞格,乔斯:重写逻辑的二十年(2012)
  5. Nigam,维韦克;Miller,Dale:证明系统框架(2010)
  6. Pientka,汤屹云:编程归纳证明。一种基于上下文类型的新方法(2010)
  7. Van Gelder,艾伦;Sutcliffe,杰夫:用自动解析器生成将TPTP语言扩展到高阶逻辑(2006)
  8. Pientka,汤屹云:验证高阶逻辑程序的终止和归约性质(2005)
  9. Kutsia,TEMUR;Buchberger,布鲁诺:序列变量和序列函数符号的谓词逻辑(2004)
  10. PNN,杰拉尔德:LAMBEK演算中序列可导性的图论方法(2004)
  11. Cervesato,Iliano;P芬宁,弗兰克:线性脊柱微积分(2003)
  12. Colby,克里斯托弗;Crary,卡尔;Harper,罗伯特;李,彼得;PFENNEN,FILE:可证明安全的移动代码的自动化技术。(2003)
  13. Momigliano,阿尔伯托;P芬宁,Frank:高阶模式补和严格(λ)-演算(2003)
  14. Cervesato,Iliano;P芬宁,弗兰克:一个线性逻辑框架(2002)
  15. P芬宁,弗兰克:逻辑框架——简介(2002)
  16. 戴维斯,Rowan;P芬宁,弗兰克:分级计算的模态分析(2001)
  17. P芬宁,弗兰克:逻辑框架(2001)
  18. S.U.R.M.,Despeyroux,J.Pfnink,F:高阶抽象语法的原始递归(2001)
  19. 乔林,彭尼;Basin,戴维:程序开发图式作为衍生规则(2000)
  20. Cervesato,Iliano;霍达斯,Joshua S.;P芬宁,弗兰克:用于线性逻辑证明搜索的高效资源管理(2000)