Eiffel

Known as: Eiffel programming, Eifeel programming language, Eiffel (language) 
Eiffel is an object-oriented programming language designed by Bertrand Meyer (an object-orientation proponent and author of Object-Oriented Software… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Static program verifiers such as Spec#, Dafny, jStar, and VeriFast define the state of the art in automated functional… (More)
  • figure 2
  • figure 3
  • table 1
Is this relevant?
2007
2007
The current informal semantics of the simple concurrent object-oriented programming (SCOOP) mechanism for Eiffel is described. We… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
We describe the problem of asynchronous exceptions in Eiffel’s Simple Concurrent Object-Oriented Programming (SCOOP). We discuss… (More)
Is this relevant?
2005
2005
The Eiffel method and language integrate a number of ideas originating from work on program verification. This position paper… (More)
Is this relevant?
2004
2004
The Simple Concurrent Object-Oriented Programming (SCOOP) mechanism introduces inter-object concurrency to the Eiffel language… (More)
Is this relevant?
2002
2002
The full power of the Eiffel language and method, including Design by ContractTM, multiple inheritance, genericity and many other… (More)
Is this relevant?
1999
1999
The design of the Eiffel language makes it possible to perform global optimizations on Eiffel programs. In this paper, we… (More)
Is this relevant?
1998
1998
It is indeed possible to use object-oriented technology to produce, almost routinely, software systems that reach a degree of… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
 
Is this relevant?
Highly Cited
1988
Highly Cited
1988
The Eiffel language and environment address the prob lem of building quality software in practical development environments. Two… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?