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

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

1 2 3 4 5 next

  1. Swords, Cameron; Sabry, Amr; Tobin-Hochstadt, Sam: An extended account of contract monitoring strategies as patterns of communication (2018)
  2. Jaghoori, Mohammad Mahdi; de Boer, Frank; Longuet, Delphine; Chothia, Tom; Sirjani, Marjan: Compositional schedulability analysis of real-time actor-based systems (2017)
  3. Nguy^en, Phúc C.; Tobin-Hochstadt, Sam; Van Horn, David: Higher order symbolic execution for contract verification and refutation (2017)
  4. 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)
  5. Naumchev, Alexandr; Meyer, Bertrand; Rivera, Victor: Unifying requirements and code: an example (2016)
  6. Caltais, Georgiana: Expression-based aliasing for OO-languages (2015)
  7. Ghezzi, Carlo; Mocci, Andrea; Sangiorgio, Mario: Synthesis of infinite-state abstractions and their use for software validation (2014)
  8. Bierman, Gavin M.; Gordon, Andrew D.; Hriţcu, Cătălin; Langworthy, David: Semantic subtyping with an SMT solver (2012)
  9. 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)
  10. Degen, Markus; Thiemann, Peter; Wehr, Stefan: The interaction of contracts and laziness (2012)
  11. Fähndrich, Manuel; Logozzo, Francesco: Checking compatibility of bit sizes in floating point comparison operations (2012)
  12. Greenberg, Michael; Pierce, Benjamin C.; Weirich, Stephanie: Contracts made manifest (2012)
  13. Sekerinski, Emil; Zhang, Tian: Verification rules for exception handling in Eiffel (2012)
  14. Cousot, Patrick; Cousot, Radhia; Logozzo, Francesco: Precondition inference from intermittent assertions and application to contracts on collections (2011)
  15. Cousot, Patrick; Cousot, Radhia; Logozzo, Francesco: A parametric segmentation functor for fully automatic and scalable array content analysis (2011)
  16. Dimoulas, Christos; Findler, Robert Bruce; Flanagan, Cormac; Felleisen, Matthias: Correct blame for contracts, no more scapegoating (2011)
  17. Ducournau, Roland: Implementing statically typed object-oriented programming languages (2011)
  18. Ducournau, Roland; Privat, Jean: Metamodeling semantics of multiple inheritance (2011)
  19. Liu, Shaoying: Pre-post notation is questionable in effectively specifying operations of object-oriented systems (2011) ioport
  20. Achten, Peter; van Eekelen, Marko; Koopman, Pieter; Morazán, Marco T.: Trends in trends in functional programming 1999/2000 versus 2007/2008 (2010)

1 2 3 4 5 next