×

Twelf

swMATH ID: 6888
Software Authors: Twelf Project; Frank Pfenning; Carsten Schürmann
Description: Twelf is a language used to specify, implement, and prove properties of deductive systems such as programming languages and logics. Large research projects using Twelf include the TALT typed assembly language, a foundational proof-carrying-code system, and a type safety proof for Standard ML.
Homepage: http://twelf.org/wiki/Main_Page
Related Software: Coq; Isabelle/HOL; Abella; Isabelle; Beluga; Nuprl; PoplMark; Automath; PVS; ML; HOL Light; Nominal Isabelle; Delphin; Mizar; HOL; Teyjus; Bedwyr; Agda; Elf; LEGO
Cited in: 171 Publications
all top 5

Cited by 186 Authors

20 Pientka, Brigitte
16 Pfenning, Frank
16 Rabe, Florian
11 Schürmann, Carsten
9 Miller, Dale Allen
8 Kohlhase, Michael
7 Horozal, Fulya
6 Abel, Andreas M.
6 Appel, Andrew W.
6 Felty, Amy P.
5 Harper, Robert
5 Momigliano, Alberto
5 Nadathur, Gopalan
5 Stump, Aaron
4 Brown, Chad Edward
4 Crary, Karl
4 Dunfield, Joshua
4 Gacek, Andrew
3 Benzmüller, Christoph Ewald
3 Cervesato, Iliano
3 Cheney, James
3 Honsell, Furio
3 Kaliszyk, Cezary
3 Liquori, Luigi
3 McLaughlin, Sean
3 Sewell, Peter
3 Sheard, Tim
3 Urban, Christian
3 Weirich, Stephanie
3 Wiedijk, Freek
2 Berghofer, Stefan
2 Capretta, Venanzio
2 Codescu, Mihai
2 Crole, Roy L.
2 Dill, David L.
2 Geuvers, Jan Herman
2 Lee, Gyesik
2 Lenisa, Marina
2 Leroy, Xavier
2 Libal, Tomer
2 Licata, Daniel R.
2 Mossakowski, Till
2 Nipkow, Tobias
2 Oliveira, Bruno C.d. S.
2 Owens, Scott
2 Pąk, Karol
2 Pretnar, Matija
2 Reed, Jason
2 Roßkopf, Simon
2 Sarkar, Susmit
2 Scagnetto, Ivan
2 Schack-Nielsen, Anders
2 Sojakova, Kristina
2 Steen, Alexander
2 Sutcliffe, Geoff
2 Swadi, Kedar N.
2 Washburn, Geoffrey
2 Zappa Nardelli, Francesco
1 Acar, Umut A.
1 Accattoli, Beniamino
1 Adams, Robin
1 Ahmed, Hamidhasan G.
1 Alpuim, Joao
1 Ambal, Guillaume
1 Ambler, Simon J.
1 Anderson, Penny
1 Andrews, Peter B.
1 Angiuli, Carlo
1 Autexier, Serge
1 Aydemir, Brian E.
1 Baelde, David
1 Barrett, Clark W.
1 Bauer, Andrej
1 Bickford, Mark
1 Bohannon, Aaron
1 Böhm, Peter
1 Brotherston, James
1 Bry, François
1 Byrd, William E.
1 Cave, Andrew
1 Chapman, James T. E.
1 Chihani, Zakaria
1 Cho, Sungkeun
1 Cimini, Matteo
1 Colby, Christopher
1 Constable, Robert Lee
1 Coquand, Thierry
1 Crolard, Tristan
1 Delahaye, David
1 Deplagne, Eric
1 Dijkstra, Atze
1 Dockins, Robert
1 Dubois, Catherine
1 Dybjer, Peter
1 Eisenberg, Richard A.
1 Errington, Jacob
1 Fairbairn, Matthew W.
1 Fatahalian, Kayvon
1 Feltman, Nicolas
1 Ferreira, Francisco H. G.
...and 86 more Authors

Citations by Year