Eiffel
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.
Keywords for this software
References in zbMATH (referenced in 290 articles , 4 standard articles )
Showing results 1 to 20 of 290.
Sorted by year (- Foster, Simon; Cavalcanti, Ana; Canham, Samuel; Woodcock, Jim; Zeyda, Frank: Unifying theories of reactive design contracts (2020)
- Apt, Krzysztof R.; Olderog, Ernst-Rüdiger: Fifty years of Hoare’s logic (2019)
- Gauthier, Thibault; Kaliszyk, Cezary: Aligning concepts across proof assistant libraries (2019)
- Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, João M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander: A survey of challenges for runtime verification from advanced application domains (beyond software) (2019)
- Broy, Manfred: Theory and methodology of assumption/commitment based system interface specification and architectural contracts (2018)
- Rahli, Vincent; Cohen, Liron; Bickford, Mark: A verified theorem prover backend supported by a monotonic library (2018)
- Schornbaum, Florian; Rüde, Ulrich: Extreme-scale block-structured adaptive mesh refinement (2018)
- Swords, Cameron; Sabry, Amr; Tobin-Hochstadt, Sam: An extended account of contract monitoring strategies as patterns of communication (2018)
- Jaghoori, Mohammad Mahdi; de Boer, Frank; Longuet, Delphine; Chothia, Tom; Sirjani, Marjan: Compositional schedulability analysis of real-time actor-based systems (2017)
- Nguyên, Phúc C.; Tobin-Hochstadt, Sam; Van Horn, David: Higher order symbolic execution for contract verification and refutation (2017)
- Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia: Debugging Maude programs via runtime assertion checking and trace slicing (2016)
- Bank, Bernd; Heintz, Joos; Matera, Guillermo; Montaña, José Luis; Pardo, Luis M.; Rojas Paredes, Andrés: Quiz games as a model for information hiding (2016)
- Cyr, Eric C.; Shadid, John N.; Tuminaro, Raymond S.: Teko: a block preconditioning capability with concrete example applications in Navier-Stokes and MHD (2016)
- Galán, Francisco J.; Cañete-Valdeón, José M.: Synthesis of positive logic programs for checking a class of definitions with infinite quantification (2016)
- Naumchev, Alexandr; Meyer, Bertrand; Rivera, Victor: Unifying requirements and code: an example (2016)
- Schultz, Ulrik Pagh; Axelsen, Holger Bock: Elements of a reversible object-oriented language (work-in-progress report) (2016)
- Caballero, Rafael; Montenegro, Manuel; Kuchen, Herbert; von Hof, Vincent: Checking Java assertions using automated test-case generation (2015)
- Caltais, Georgiana: Expression-based aliasing for OO-languages (2015)
- Castro, Pablo F.; Aguirre, Nazareno; Pombo, Carlos L.; Maibaum, T. S. E.: Categorical foundations for structured specifications in (\mathsfZ) (2015)
- Din, Crystal Chang; Owe, Olaf: Compositional reasoning about active objects with shared futures (2015)