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 Standard Articles 2 Publications describing the Software, including 2 Publications in zbMATH Year The Twelf proof assistant. Zbl 1252.68263Schürmann, Carsten 2009 Twelf and Delphin: logic and functional programming in a meta-logical framework. Zbl 1122.68391Schürmann, Carsten 2004 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 all top 5 Cited in 17 Serials 18 Journal of Automated Reasoning 7 Journal of Functional Programming 7 ACM Transactions on Computational Logic 6 Logical Methods in Computer Science 4 Theoretical Computer Science 4 Information and Computation 4 Theory and Practice of Logic Programming 2 Journal of Logic and Computation 2 MSCS. Mathematical Structures in Computer Science 2 Journal of Applied Logic 1 Annals of Pure and Applied Logic 1 Formal Aspects of Computing 1 Indagationes Mathematicae. New Series 1 Annals of Mathematics and Artificial Intelligence 1 RAIRO. Theoretical Informatics and Applications 1 The Journal of Logic and Algebraic Programming 1 Logica Universalis all top 5 Cited in 6 Fields 159 Computer science (68-XX) 88 Mathematical logic and foundations (03-XX) 1 History and biography (01-XX) 1 Category theory; homological algebra (18-XX) 1 Algebraic topology (55-XX) 1 Quantum theory (81-XX) Citations by Year