精灵

精灵元语言。Elf是一种基于LF逻辑框架的约束逻辑编程语言。它与Winchendon Group,Inc.的商业产品ELF®统计软件包没有任何联系。ELF是一种统一的元语言,用于指定、实现和证明编程语言和逻辑的属性。它已被应用于各种例子,其中一些在已发表的论文中有描述,这些论文可通过LF和Elf的参考书目获得。另一些则在计算与演绎课程的说明中有所描述,但尚未公开。还有一个更完整的关于逻辑框架的书目。卡内基梅隆大学的LF和Elf研究工作得到了NSF拨款CCR-9303383的支持(首席研究员罗伯特·哈珀和弗兰克·普芬宁)


zbMATH中的参考文献(引用于,2标准条款)

显示第1到第20个结果,共43个。
按年份排序(引用)
  1. 米勒,戴尔:重温机械化元理论(2019)
  2. Riesco,Adrián;Ogata,Kazuhiro;Futatsugi,Kokichi:CafeOBJ的Maude环境(2017)
  3. Savary Belanger,Olivier;Monnier,Stefan;Pientka,Brigitte:使用高阶抽象语法编程类型安全转换(2013)
  4. JoséMeseguer:《重写逻辑的二十年》(2012)
  5. Nigam,Vivek;Miller,Dale:证据系统框架(2010)
  6. Pientka归纳程序设计。基于上下文类型的新方法(2010)
  7. Van Gelder,Allen;Sutcliffe,Geoff:用自动解析器生成将TPTP语言扩展到高阶逻辑(2006)
  8. Pientka,Brigitte:验证高阶逻辑程序的终止与归约性质(2005)
  9. Kutsia,Temur;Buchberger,Bruno:具有序列变量和序列函数符号的谓词逻辑(2004)
  10. Gerald Penn:Lambek演算中序列可导性的图论方法(2004)
  11. Cervesato,Iliano;Pfenning,Frank:线性脊柱微积分(2003)
  12. 克里斯托弗·科尔比;卡尔·克雷;罗伯特·哈珀;李·彼得;弗兰克·芬宁:《可证明安全的移动代码的自动化技术》。(2003年)
  13. Alberto Momigliano;Pfenning,Frank:高阶模式互补与严格(\lambda)-微积分(2003)
  14. Cervesato,Iliano;Pfenning,Frank:线性逻辑框架(2002)
  15. 范宁:逻辑框架——简介(2002)
  16. 戴维斯,罗文;芬宁,弗兰克:分段计算的模态分析(2001)
  17. 范宁,弗兰克:逻辑框架(2001)
  18. Schürmann,C.;Despeyroux,J.;Pfenning,F.:高阶抽象语法的原始递归(2001)
  19. Anderson,Penny;Basin,David:作为派生规则的程序开发模式(2000)
  20. 《有效管理》杂志;Frank Hosilian,2000;有效资源管理