精灵

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