×

Elf

swMATH ID: 21361
Software Authors: Frank Pfenning
Description: 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)
Homepage: https://www.cs.cmu.edu/~fp/elf.html
Related Software: Nuprl; Coq; Twelf; Automath; Isabelle; Lolli; ALF; ML; LEGO; Abella; HOL; Isabelle/HOL; Beluga; Maude; OBJ3; PoplMark; Freshml; LCF; HOL Light; Metamath Zero
Cited in: 47 Publications

Standard Articles

2 Publications describing the Software, including 2 Publications in zbMATH Year
Logic programming in the LF logical framework. Zbl 0760.68014
Pfenning, Frank
1991
Elf: A language for logic definition and verified metaprogramming. Zbl 0716.68079
Pfenning, Frank
1989
all top 5

Cited by 49 Authors

19 Pfenning, Frank
3 Cervesato, Iliano
3 Harper, Robert
3 Miller, Dale Allen
3 Pientka, Brigitte
3 Schürmann, Carsten
2 Anderson, Penny
2 Despeyroux, Joëlle
2 Honsell, Furio
2 Meseguer Guaita, José
2 Nipkow, Tobias
2 Pym, David J.
2 Roßkopf, Simon
1 Avron, Arnon
1 Basin, David A.
1 Buchberger, Bruno
1 Colby, Christopher
1 Crary, Karl
1 Danvy, Olivier
1 Davies, Rowan
1 Duggan, Dominic
1 Dzafic, Belmina
1 Felty, Amy P.
1 Futatsugi, Kokichi
1 Galmiche, Didier
1 Hodas, Joshua S.
1 Kutsia, Temur
1 Martí-Oliet, Narciso
1 Mason, Ian A.
1 Miculan, Marino
1 Momigliano, Alberto
1 Monnier, Stefan
1 Nadathur, Gopalan
1 Nigam, Vivek
1 Ogata, Kazuhiro
1 Penn, Gerald
1 Pollack, Robert
1 Prehofer, Christian
1 Qian, Zhenyu
1 Riesco, Adrián
1 Rohwedder, Ekkehard
1 Sannella, Donald T.
1 Savary-Belanger, Olivier
1 Sutcliffe, Geoff
1 Tarlecki, Andrzej
1 Van Gelder, Allen
1 Virga, Roberto
1 Wilson, Debra Sue
1 Wong, Hao-Chi
all top 5

Cited in 11 Serials

7 Theoretical Computer Science
6 Journal of Automated Reasoning
2 Journal of Symbolic Computation
2 Information and Computation
2 Journal of Logic and Computation
1 Studia Logica
1 Annals of Pure and Applied Logic
1 Formal Aspects of Computing
1 Journal of the ACM
1 The Journal of Logic and Algebraic Programming
1 ACM Transactions on Computational Logic

Cited in 2 Fields

43 Computer science (68-XX)
32 Mathematical logic and foundations (03-XX)

Citations by Year