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.


References in zbMATH (referenced in 82 articles , 2 standard articles )

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

1 2 3 4 5 next

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

1 2 3 4 5 next