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 Standard Articles 4 Publications describing the Software, including 4 Publications in zbMATH Year Object-oriented software construction. Incl. 1 CD-ROM. 2nd ed. Zbl 0987.68516Meyer, Bertrand 1997 Object-oriented programming in Eiffel. 2nd ed. Zbl 0888.68028Thomas, Pete; Weedon, Ray 1997 Eiffel. The language. Zbl 0779.68013Meyer, Bertrand 1992 Object-oriented software construction. (Objektorientierte Softwareentwicklung. Aus d. Amerikan. übers. von Werner Simonsmeier.) Zbl 0719.68012Meyer, Bertrand 1990 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 all top 5 Cited in 15 Fields 214 Computer science (68-XX) 16 Mathematical logic and foundations (03-XX) 5 Numerical analysis (65-XX) 4 Fluid mechanics (76-XX) 3 Operations research, mathematical programming (90-XX) 2 General and overarching topics; collections (00-XX) 2 Category theory; homological algebra (18-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Biology and other natural sciences (92-XX) 1 Combinatorics (05-XX) 1 Partial differential equations (35-XX) 1 Approximations and expansions (41-XX) 1 Mechanics of deformable solids (74-XX) 1 Quantum theory (81-XX) 1 Systems theory; control (93-XX) Citations by Year