Elf

The Elf Meta-Language. Elf is a constraint logic programming language based on the LF Logical Framework. It has no connection whatsoever to the ELF® statistical package, a commercial product by The Winchendon Group, Inc. Elf is a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics. It has been applied to various examples, some of which are described in published papers accessible through a bibliography on LF and Elf. Others are described in the notes to a course on Computation and Deduction, which are not yet publicly available. There is also a more complete bibliography on logical frameworks in general. Work on LF and Elf at Carnegie Mellon University is supported by NSF grant CCR-9303383 (Principal Investigators Robert Harper and Frank Pfenning)


References in zbMATH (referenced in 43 articles , 2 standard articles )

Showing results 1 to 20 of 43.
Sorted by year (citations)

1 2 3 next

  1. Miller, Dale: Mechanized metatheory Revisited (2019)
  2. Riesco, Adrián; Ogata, Kazuhiro; Futatsugi, Kokichi: A Maude environment for CafeOBJ (2017)
  3. Savary-Belanger, Olivier; Monnier, Stefan; Pientka, Brigitte: Programming type-safe transformations using higher-order abstract syntax (2013)
  4. Meseguer, José: Twenty years of rewriting logic (2012)
  5. Nigam, Vivek; Miller, Dale: A framework for proof systems (2010)
  6. Pientka, Brigitte: Programming inductive proofs. A new approach based on contextual types (2010)
  7. Van Gelder, Allen; Sutcliffe, Geoff: Extending the TPTP language to higher-order logic with automated parser generation (2006)
  8. Pientka, Brigitte: Verifying termination and reduction properties about higher-order logic programs (2005)
  9. Kutsia, Temur; Buchberger, Bruno: Predicate logic with sequence variables and sequence function symbols (2004)
  10. Penn, Gerald: A graph-theoretic approach to sequent derivability in the Lambek calculus (2004)
  11. Cervesato, Iliano; Pfenning, Frank: A linear spine calculus (2003)
  12. Colby, Christopher; Crary, Karl; Harper, Robert; Lee, Peter; Pfenning, Frank: Automated techniques for provably safe mobile code. (2003)
  13. Momigliano, Alberto; Pfenning, Frank: Higher-order pattern complement and the strict (\lambda)-calculus (2003)
  14. Cervesato, Iliano; Pfenning, Frank: A linear logical framework (2002)
  15. Pfenning, Frank: Logical frameworks -- a brief introduction (2002)
  16. Davies, Rowan; Pfenning, Frank: A modal analysis of staged computation (2001)
  17. Pfenning, Frank: Logical frameworks (2001)
  18. Schürmann, C.; Despeyroux, J.; Pfenning, F.: Primitive recursion for higher-order abstract syntax (2001)
  19. Anderson, Penny; Basin, David: Program development schemata as derived rules (2000)
  20. Cervesato, Iliano; Hodas, Joshua S.; Pfenning, Frank: Efficient resource management for linear logic proof search (2000)

1 2 3 next