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 80 articles , 2 standard articles )

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

1 2 3 4 next

  1. 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)
  2. Naumchev, Alexandr; Meyer, Bertrand; Rivera, Victor: Unifying requirements and code: an example (2016)
  3. Caltais, Georgiana: Expression-based aliasing for OO-languages (2015)
  4. Chin, Wei-Ngan; David, Cristina; Nguyen, Huu Hai; Qin, Shengchao: Automated verification of shape, size and bag properties via user-defined predicates in separation logic (2012)
  5. Fähndrich, Manuel; Logozzo, Francesco: Checking compatibility of bit sizes in floating point comparison operations (2012)
  6. Sekerinski, Emil; Zhang, Tian: Verification rules for exception handling in Eiffel (2012)
  7. Cousot, Patrick; Cousot, Radhia; Logozzo, Francesco: Precondition inference from intermittent assertions and application to contracts on collections (2011)
  8. Cousot, Patrick; Cousot, Radhia; Logozzo, Francesco: A parametric segmentation functor for fully automatic and scalable array content analysis (2011)
  9. Dimoulas, Christos; Findler, Robert Bruce; Flanagan, Cormac; Felleisen, Matthias: Correct blame for contracts, no more scapegoating (2011)
  10. Ducournau, Roland: Implementing statically typed object-oriented programming languages (2011)
  11. Ducournau, Roland; Privat, Jean: Metamodeling semantics of multiple inheritance (2011)
  12. Liu, Shaoying: Pre-post notation is questionable in effectively specifying operations of object-oriented systems (2011)
  13. Achten, Peter; van Eekelen, Marko; Koopman, Pieter; Morazán, Marco T.: Trends in trends in functional programming 1999/2000 versus 2007/2008 (2010)
  14. Degen, Markus; Thiemann, Peter; Wehr, Stefan: Eager and delayed contract monitoring for call-by-value and call-by-name evaluation (2010)
  15. Hills, Mark; Rosu, Grigore: A rewriting logic semantics approach to modular program analysis (2010)
  16. Mossakowski, Till; Schröder, Lutz; Goncharov, Sergey: A generic complete dynamic logic for reasoning about purity and effects (2010)
  17. Pirkelbauer, Peter; Solodkyy, Yuriy; Stroustrup, Bjarne: Design and evaluation of C++ open multi-methods (2010)
  18. Bettini, Lorenzo; Capecchi, Sara; Venneri, Betti: Dynamic overloading with copy semantics in object-oriented languages: a formal account (2009)
  19. Bettini, Lorenzo; Capecchi, Sara; Venneri, Betti: Featherweight Java with dynamic and static overloading (2009)
  20. Brooke, Phillip J.; Paige, Richard F.: Cameo: an alternative model of concurrency for Eiffel (2009)

1 2 3 4 next