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.

References in zbMATH (referenced in 290 articles , 4 standard articles )

Showing results 1 to 20 of 290.
Sorted by year (citations)

1 2 3 ... 13 14 15 next

  1. Foster, Simon; Cavalcanti, Ana; Canham, Samuel; Woodcock, Jim; Zeyda, Frank: Unifying theories of reactive design contracts (2020)
  2. Apt, Krzysztof R.; Olderog, Ernst-Rüdiger: Fifty years of Hoare’s logic (2019)
  3. Gauthier, Thibault; Kaliszyk, Cezary: Aligning concepts across proof assistant libraries (2019)
  4. 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)
  5. Broy, Manfred: Theory and methodology of assumption/commitment based system interface specification and architectural contracts (2018)
  6. Rahli, Vincent; Cohen, Liron; Bickford, Mark: A verified theorem prover backend supported by a monotonic library (2018)
  7. Schornbaum, Florian; Rüde, Ulrich: Extreme-scale block-structured adaptive mesh refinement (2018)
  8. Swords, Cameron; Sabry, Amr; Tobin-Hochstadt, Sam: An extended account of contract monitoring strategies as patterns of communication (2018)
  9. Jaghoori, Mohammad Mahdi; de Boer, Frank; Longuet, Delphine; Chothia, Tom; Sirjani, Marjan: Compositional schedulability analysis of real-time actor-based systems (2017)
  10. Nguyên, Phúc C.; Tobin-Hochstadt, Sam; Van Horn, David: Higher order symbolic execution for contract verification and refutation (2017)
  11. Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia: Debugging Maude programs via runtime assertion checking and trace slicing (2016)
  12. 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)
  13. Cyr, Eric C.; Shadid, John N.; Tuminaro, Raymond S.: Teko: a block preconditioning capability with concrete example applications in Navier-Stokes and MHD (2016)
  14. 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)
  15. Naumchev, Alexandr; Meyer, Bertrand; Rivera, Victor: Unifying requirements and code: an example (2016)
  16. Schultz, Ulrik Pagh; Axelsen, Holger Bock: Elements of a reversible object-oriented language (work-in-progress report) (2016)
  17. Caballero, Rafael; Montenegro, Manuel; Kuchen, Herbert; von Hof, Vincent: Checking Java assertions using automated test-case generation (2015)
  18. Caltais, Georgiana: Expression-based aliasing for OO-languages (2015)
  19. Castro, Pablo F.; Aguirre, Nazareno; Pombo, Carlos L.; Maibaum, T. S. E.: Categorical foundations for structured specifications in (\mathsfZ) (2015)
  20. Din, Crystal Chang; Owe, Olaf: Compositional reasoning about active objects with shared futures (2015)

1 2 3 ... 13 14 15 next