Systematic concurrent object-oriented programming

Communications of the ACM

Volumn 36, Issue 9, 1993, Pages 56-80

  Meyer, Bertrand ^a  

^a Interactive Software Engineering   (United States)

Author keywords

concurrency; Eiffel; object oriented concurrent programming

Indexed keywords

EID: 84976853350     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/162685.162705     Document Type: Article

References (19)

1. Agha, G. Concurrent object-oriented programming. Commun. ACM 33, 9 (Sept. 1990), 125-141.
2. America, P. Designing an object-oriented programming language with behavioural subtyping. In Foundations of Object-Oriented Languages, J.W. de Bakker, W.P. de Roever, and G. Rozenberg, Eds. Springer-Verlag, New York, 1991, pp. 60-90.
3. America, P. and van der Linden, F. A parallel object-oriented language with inheritance and subtyping. In Proceedings of ECOOP-OOPSLA 90 (Ottawa, Canada, 1990).
4. Ben-Ari, M. Principles of Concurrent and Distributed Programming. Prentice-Hall International, Hemel Hempstead, 1991.
5. Birtwistle, G., Dahl, O-J., Myrhaug, B. and Nygaard, K. Simula Begin. Studentliteratur and Auerbach, 1973.
6. Caromel, D. Concurrency: An object-oriented approach. In TOOLS 2, Jean Bézivin et al., Eds., SOL/Angkor, Paris, 1990. 183-197.
7. Caromel, D., Toward a method of object-oriented concurrent programming. Commun. ACM 36,9 (Sept. 1993).
8. Hailpern, B.T. Verifying concurrent processes using temporal logic. Lecture Notes in Computer Science 129, Springer-Verlag, New York, 1982.
9. Hoare, C.A.R. Procedures and parameters: An axiomatic approach. In Symposium on the Semantics of Programming Languages, Erwin Engeler, Ed. Springer-Verlag, New York, 1971, pp. 103-116. Reprinted in Essays in Computing Science, C.A.R. Hoare and C. B. Jones, Eds. Prentice-Hall International, 1989.
10. Lieberman, H. Concurrent object-oriented programming in Act 1. In Object-oriented Concurrent Programming, Akinori Yonezawa and Mario Tokoro, Eds. MIT Press, Cambridge Mass., 1987, pp. 9-36.
11. Meyer, B. Object-oriented software construction. Prentice-Hall, Englewood Cliffs, N.J., 1988.
12. Meyer, B. Sequential and concurrent object-oriented programming. In TOOLS 90 (Technology of Object-Oriented Languages and Systems), Angkor/SOL, (Paris, June 1990), pp. 17-28.
13. Meyer, B. Introduction to the Theory of Programming Languages. Prentice-Hall, Englewood Cliffs, N.J., 1990.
14. Meyer, B. Eiffel: The Language. Prentice-Hall, Englewood Cliffs, N.J., 1991.
15. Meyer, B. Applying design by contract. IEEE Comput. 40-51, 10 (Oct. 1992).
16. Meyer, B. Object-Oriented Software Construction, Second ed. Prentice-Hall, Englewood Cliffs, N.J., 1993.
17. Papathomas, M. Language design rationale and semantic framework for concurrent object-oriented programming. Ph.D. dissertation. Université de Genève, 1992.
18. SIS, Standardiseringskommissionen i Sverige (Swedish Standards Institute). Data Processing-Programming Languages-SIMULA, Svensk Standard SS 63 61 14, May 20, 1987.
19. Yonezawa, A. and Tokoro, M., Eds. Object-oriented Concurrent Programming. MIT Press, Cambridge, Mass., 1987.