Attached types and their application to three open problems of object-oriented programming

Lecture Notes in Computer Science

Volumn 3586, Issue , 2005, Pages 1-32

  Meyer, Bertrand ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

DATA REDUCTION; PROBLEM SOLVING; REMOTE CONTROL; RISKS;

JUST-IN-TIME EVALUATION; OBJECT TECHNOLOGY; REMOTE PROCESSORS; RUN-TIME SITUATION;

OBJECT ORIENTED PROGRAMMING;

EID: 26444465053     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11531142_1     Document Type: Conference Paper

References (12)

1. Mike Barnett, Rustan Leino and Wolfram Schulte: The Spec# Programming System; CASSIS proceedings, 2004.
2. Craig Chambers et al., papers on the Self language at http://research.sun.com/self/papers/ papers.html.
3. Manuel Fähndrich and Rustan Leino: Declaring and Checking Non-null Types in an Object-Oriented Language; in OOPSLA 2003, SIGPLAN Notices, vol. 38 no. 11, November 2003, ACM, pp. 302-312.
4. ECMA Technical Committee 39 (Programming and Scripting Languages) Technical Group 4 (Eiffel): Eiffel Analysis, Design and Programming Language, Draft international standard, April 2005.
5. Erik Meijer and Wolfram Schulte: Unifying Tables, Objects, and Documents; in Proc. DP-COOL 2003, also at http://research.microsoft.com/~emeijer/Papers/ XS.pdf.
6. Bertrand Meyer: Eiffel: The Language, Prentice Hall 1990 (revised printing 1991). See also [12].
7. Bertrand Meyer: Reusable Software: The Base Object-Oriented Component Libraries, Prentice Hall, 1994.
8. Bertrand Meyer: Object-Oriented Software Construction, 2nd edition, Prentice Hall, 1997.
9. Bertrand Meyer, reference [8], chapter 17: "Typing".
10. Bertrand Meyer, Prelude to a Theory of Void; in Journal of Object-Oriented Programming, vol. 11, no. 7, November-December 1998, pages 36-48.
11. Bertrand Meyer, reference [8], chapter 30: Concurrency, distribution, client-server and the Internet.
12. Bertrand Meyer, Standard Eiffel, new edition of [6], in progress.