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

Showing results 1 to 20 of 98.
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ên, 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) ioport
  8. Biczó, Mihály; Porkoláb, Zoltán: Towards axiom-based test generation in .NET applications (2012)
  9. Bierman, Gavin M.; Gordon, Andrew D.; Hriţcu, Cătălin; Langworthy, David: Semantic subtyping with an SMT solver (2012)
  10. 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)
  11. Degen, Markus; Thiemann, Peter; Wehr, Stefan: The interaction of contracts and laziness (2012)
  12. Fähndrich, Manuel; Logozzo, Francesco: Checking compatibility of bit sizes in floating point comparison operations (2012)
  13. Greenberg, Michael; Pierce, Benjamin C.; Weirich, Stephanie: Contracts made manifest (2012)
  14. Kourie, Derrick G.; Watson, Bruce W.: The correctness-by-construction approach to programming (2012)
  15. Orbán, György; Kozma, László: Defining contracts with different tools in software development (2012)
  16. Sekerinski, Emil; Zhang, Tian: Verification rules for exception handling in Eiffel (2012)
  17. Cousot, Patrick; Cousot, Radhia; Logozzo, Francesco: Precondition inference from intermittent assertions and application to contracts on collections (2011)
  18. Cousot, Patrick; Cousot, Radhia; Logozzo, Francesco: A parametric segmentation functor for fully automatic and scalable array content analysis (2011)
  19. Dimoulas, Christos; Findler, Robert Bruce; Flanagan, Cormac; Felleisen, Matthias: Correct blame for contracts, no more scapegoating (2011)
  20. Ducournau, Roland: Implementing statically typed object-oriented programming languages (2011)

1 2 3 4 5 next