精灵

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


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

显示结果21至40的43。
按年份排序(引文
  1. Galmikh,Ddier-;Pym,David J.:类型理论语言中的证据检索:导论(2000)
  2. P芬宁,弗兰克:结构切割消除。直觉主义与古典逻辑(2000)
  3. Danvy,奥利维尔;DZAFIC,Belmina;P芬宁,弗兰克:关于CPS程序句法性质的证明(1999)
  4. Duggan,多米尼克:与扩展模式的统一(1998)
  5. Harper,罗伯特;P芬宁,弗兰克:基于LF逻辑框架的程序设计语言模块系统(1998)
  6. Nadathur,Gopaln;Wilson,Debra Sue:λ术语的符号。环境的一个推广(1998)
  7. 弗兰克:在LF(1998)的一个简单元逻辑中的自动定理证明
  8. Despeyroux,Jo.Lle;P芬宁,弗兰克;SCH·U. R,CARSTEN:高阶抽象语法的原始递归(1997)
  9. Honsell,弗里奥;莫布兰,马里诺:动态逻辑的自然演绎方法(1996)
  10. 纳西索,MeaseGuer-Joe:作为逻辑和语义框架的改写逻辑(1996)
  11. Miller,Dale:论坛:多结论规范逻辑(1996)
  12. P芬宁,弗兰克;Wong,Hao Chi:S4(1995)的模态λ演算
  13. Pym,David J.:(λπ)演算证明理论的一个注记(1995)
  14. 乔林,Penny:表示程序优化的证据转换(1994)
  15. Harper,罗伯特;Shanela,唐纳德;TaelkKi和安德雷杰:结构理论陈述和逻辑表述(1994)
  16. P芬宁,弗兰克:ELF:演绎系统的元语言(1994)
  17. Prehofer,基督教:可判定的高阶统一问题(1994)
  18. FelTy,艾米:高阶逻辑程序设计语言中的策略和策略(1993)
  19. Avron,阿尔农河;洪塞尔,弗里奥;梅森,Ian A.;波拉克,罗伯特:用类型化的lambda演算在机器上实现正式系统(1992)
  20. Miller,Dale:混合前缀下的统一(1992)