×

Eiffel

swMATH ID: 3522
Software Authors: Bertrand Meyer
Description: Eiffel is an ISO-standardized, object-oriented programming language designed by Bertrand Meyer (an object-orientation proponent and author of Object-Oriented Software Construction) and Eiffel Software. The design of the language is closely connected with the Eiffel programming method. Both are based on a set of principles, including design by contract, command-query separation, the uniform-access principle, the single-choice principle, the open-closed principle, and option-operand separation. Many concepts initially introduced by Eiffel later found their way into Java, C#, and other languages. New language design ideas, particularly through the Ecma/ISO standardization process, continue to be incorporated into the Eiffel language.
Homepage: https://en.wikipedia.org/wiki/Eiffel_%28programming_language%29
Related Software: JML; Smalltalk; Spec#; Z; ESC/Java; Simula 67; Haskell; Boogie; Ada95; KRAKATOA; LARCH; Coq; CLOS; KeY; PVS; Featherweight Java; LOOP; Jass; JUnit; SIMPLIFY
Cited in: 226 Publications
all top 5

Cited by 440 Authors

8 Meyer, Bertrand
6 Leavens, Gary T.
5 de Boer, Frank S.
5 Porkoláb, Zoltán
4 Biczó, Mihály
4 Logozzo, Francesco
4 Mitchell, John C.
4 Müller, Peter
4 Naumann, David A.
4 Owe, Olaf
4 Paige, Richard F.
3 Brooke, Phillip J.
3 Bruce, Kim B.
3 Furia, Carlo Alberto
3 Johnsen, Einar Broch
3 Leino, K. Rustan M.
3 Olderog, Ernst-Rüdiger
3 Ostroff, Jonathan S.
3 Pócza, Krisztián
2 America, Pierre
2 Apt, Krzysztof Rafal
2 Bettini, Lorenzo
2 Blaschek, Günther
2 Capecchi, Sara
2 Castro, María Eugenia
2 Cavalcanti, Ana
2 Cheon, Yoonsik
2 Chothia, Tom
2 Cornélio, Márcio
2 Cousot, Patrick
2 Cousot, Radhia
2 da Costa, Umberto Souza
2 Degen, Markus
2 Doberkat, Ernst-Erich
2 Dovland, Johan
2 Ducournau, Roland
2 Felleisen, Matthias
2 Findler, Robert Bruce
2 Fisher, Kathleen
2 Heckel, Reiko
2 Heintz, Joos
2 Jaghoori, Mohammad Mahdi
2 Longo, Giuseppe
2 Martins Moreira, Anamaria
2 Matera, Guillermo
2 Muñoz-Caro, Camelia
2 Musicante, Martin A.
2 Nienaltowski, Piotr
2 Niño, Alfonso
2 Poetzsch-Heffter, Arnd
2 Qin, Shengchao
2 Sirjani, Marjan
2 Souza Neto, Plácido A.
2 Steffen, Martin
2 Thiemann, Peter J.
2 Thirunarayan, Krishnaprasad
2 Tobin-Hochstadt, Sam
2 Venneri, Betti
2 Wagner, Eric G.
2 Wehr, Stefan
2 Woodcock, James C. P.
1 Abercrombie, Parker
1 Abnous, Razmik
1 Abrahamyan, Susanna
1 Achten, Peter
1 Aderhold, Markus
1 Aguirre, Nazareno M.
1 Ahrendt, Wolfgang
1 Akin, John Edward
1 Alagic, Suad
1 Alpuente, María
1 Amighi, Afshin
1 Ángyán, János G.
1 Arapis, Constantin
1 Arnold, Patrick
1 Artho, Cyrille
1 Bacon, David Francis
1 Bailes, Cecily
1 Ballis, Demis
1 Bank, Bernd
1 Bar-David, Tsvi
1 Barbosa, Luís Soares
1 Barnett, Mike
1 Bartocci, Ezio
1 Bastarrica, María Cecilia
1 Baude, Françoise
1 Bauer, Sebastian S.
1 Bergel, Alexandre
1 Bianculli, Domenico
1 Bickford, Mark
1 Bierman, Gavin M.
1 Bijlsma, Lex
1 Birkedal, Lars
1 Blom, Stefan
1 Bodoff, Stephanie
1 Boogaard, Michael A.
1 Botta, Nicola
1 Bowman, Richard Sean
1 Bozga, D.
1 Brandes, Ulrik
...and 340 more Authors
all top 5

Cited in 48 Serials

23 Formal Aspects of Computing
15 Science of Computer Programming
13 Theoretical Computer Science
6 Journal of Functional Programming
5 Acta Informatica
5 Information and Computation
5 The Journal of Logic and Algebraic Programming
5 Computer Languages, Systems & Structures
4 Computer Physics Communications
3 Information Processing Letters
3 Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica
3 Formal Methods in System Design
3 RAIRO. Theoretical Informatics and Applications
3 Concurrency and Computation: Practice & Experience
2 ACM Computing Surveys
2 Information Sciences
2 Programming and Computer Software
2 Software. Practice & Experience
2 Journal of Complexity
2 Mathematical and Computer Modelling
2 European Journal of Operational Research
2 SIAM Journal on Scientific Computing
2 Annals of Mathematics and Artificial Intelligence
2 Higher-Order and Symbolic Computation
2 Science in China. Series F
2 Studia Universitatis Babeș-Bolyai. Informatica
1 Artificial Intelligence
1 Computer Methods in Applied Mechanics and Engineering
1 Discrete Applied Mathematics
1 Applied Mathematics and Computation
1 Automatica
1 Journal of Computer and System Sciences
1 Journal of Symbolic Computation
1 Journal of Computer Science and Technology
1 Journal of Automated Reasoning
1 Annals of Operations Research
1 MSCS. Mathematical Structures in Computer Science
1 Advances in Engineering Software
1 Cybernetics and Systems Analysis
1 Nordic Journal of Computing
1 European Journal of Control
1 Computing and Visualization in Science
1 M2AN. Mathematical Modelling and Numerical Analysis. ESAIM, European Series in Applied and Industrial Mathematics
1 Engineering Computations
1 AMAST Series in Computing
1 Frontiers of Computer Science
1 Journal of Logical and Algebraic Methods in Programming
1 Undergraduate Topics in Computer Science

Citations by Year