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

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

1 2 3 4 5 6 next

  1. Foster, Simon; Cavalcanti, Ana; Canham, Samuel; Woodcock, Jim; Zeyda, Frank: Unifying theories of reactive design contracts (2020)
  2. 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)
  3. Rahli, Vincent; Cohen, Liron; Bickford, Mark: A verified theorem prover backend supported by a monotonic library (2018)
  4. Swords, Cameron; Sabry, Amr; Tobin-Hochstadt, Sam: An extended account of contract monitoring strategies as patterns of communication (2018)
  5. Jaghoori, Mohammad Mahdi; de Boer, Frank; Longuet, Delphine; Chothia, Tom; Sirjani, Marjan: Compositional schedulability analysis of real-time actor-based systems (2017)
  6. Nguyên, Phúc C.; Tobin-Hochstadt, Sam; Van Horn, David: Higher order symbolic execution for contract verification and refutation (2017)
  7. 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)
  8. Naumchev, Alexandr; Meyer, Bertrand; Rivera, Victor: Unifying requirements and code: an example (2016)
  9. Caltais, Georgiana: Expression-based aliasing for OO-languages (2015)
  10. Tschannen, J.; Furia, CA; Nordio, M.; Polikarpova, N.: AutoProof: Auto-active Functional Verification of Object-oriented Programs (2015) arXiv
  11. Ghezzi, Carlo; Mocci, Andrea; Sangiorgio, Mario: Synthesis of infinite-state abstractions and their use for software validation (2014) ioport
  12. Shu, Qin; Qiu, Zongyan; Wang, Shuling: Confinement framework for encapsulating objects (2013)
  13. Biczó, Mihály; Porkoláb, Zoltán: Towards axiom-based test generation in .NET applications (2012)
  14. Bierman, Gavin M.; Gordon, Andrew D.; Hriţcu, Cătălin; Langworthy, David: Semantic subtyping with an SMT solver (2012)
  15. 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)
  16. Degen, Markus; Thiemann, Peter; Wehr, Stefan: The interaction of contracts and laziness (2012)
  17. Fähndrich, Manuel; Logozzo, Francesco: Checking compatibility of bit sizes in floating point comparison operations (2012)
  18. Greenberg, Michael; Pierce, Benjamin C.; Weirich, Stephanie: Contracts made manifest (2012)
  19. Kourie, Derrick G.; Watson, Bruce W.: The correctness-by-construction approach to programming (2012)
  20. Orbán, György; Kozma, László: Defining contracts with different tools in software development (2012)

1 2 3 4 5 6 next