Integrating object-oriented programming and protected objects in Ada 95

ACM Transactions on Programming Languages and Systems

Volumn 22, Issue 3, 2000, Pages 506-539

  Wellings, A J ^a   Johnson, B ^b   Sanden, B ^b   Kienzle, J ^c   Wolf, T ^c   Michell, S ^d  

^a UNIVERSITY OF YORK   (United Kingdom)

^b Colorado Technical University ^*  (United States)

^c EPFL   (Switzerland)

^d Maurya Software   (Canada)

Author keywords

Ada 95; Concurrency; Concurrent object oriented programming; D.3.3 Programming Languages : Language Constructs and Features Concurrent programming structures and inheritance; Inheritance anomaly; Languages

Indexed keywords

ADA (PROGRAMMING LANGUAGE); CONCURRENCY CONTROL; DATA PROCESSING; DISTRIBUTED COMPUTER SYSTEMS; JAVA PROGRAMMING LANGUAGE; MICROCOMPUTERS; REAL TIME SYSTEMS; SOFTWARE ENGINEERING; SYNCHRONIZATION;

CONCURRENT LANGUAGES; CONCURRENT PROGRAMMING STRUCTURES; INHERITANCE ANOMALY; POLYMORPHISM;

OBJECT ORIENTED PROGRAMMING;

EID: 0003357627     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/353926.353938     Document Type: Article

References (29)

1. ATKINSON, C. AND WELLER, D. 1993. Integrating Inheritance and Synchronisation in Ada9X. Proceedings of TRI'Ada 93, ACM.
2. BLOOM, T. 1979. Evaluating synchronisation mechanisms. In Proceedings of the Seventh ACM Symposium on Operating System Principles. Pacific Grove, 24-32.
3. BRINCH-HANSEN, P. 1972. Structured multiprogramming. CACM 15, 7, 574-578.
4. BRIOT, J.-P., GUERRAOUI, R., AND LOHR, K.-P. 1998. Concurrency and distribution in object-oriented programming. ACM Computing Surveys 30, 3 (Sept.), 291-329.
5. BURNS, A. AND WELLINGS, A. J. 1998. Concurrency in Ada, Second ed. Cambridge University Press.
6. CAROMEL, D. 1993. Toward a method of object-oriented concurrent programming. Communications of the ACM 36, 9, 90-102.
7. CORRADI, A. AND LEONARDI, L. 1990. Parellism in object-oriented programming languages. In IEEE Conference on Computer Languages. 271-280.
8. FRØLUND, S. 1992. Inheritance of synchronization constraints in cocurrent object-oriented programming languages. In Proceedings of ECOOP '92, LNCS. Vol. 615. Springer, 185-196.
9. HERLIHY, M. AND WING, J. 1994. Linearizability: A correctness criterion for concurrent objects. ACM Transactions on Programming Languages and Systems 12, 3, 463-492.
10. HOARE, C. 1974. Monitors - an operating system structuring concept. CACM 17, 10, 549-557.
11. JOHNSON, R. 2000. Tagged protected types: Inheritance and polymorphism extensions for synchronization and mutual exclusion in Ada. Ph.D. thesis, Colorado Technical University.
12. KARAORMAN, M. AND BRUNO, J. 1993. Introducing concurrency to a sequential language. Communications of the ACM 36, 9, 103-16.
13. KIDDLE, O. P. AND WELLINGS, A. J. 1998. Extended protected types. In Proceedings of ACM SIGAda Annual International Conference (SIGAda 98). 229-239.
14. LEA, D. 1997. Concurrent Programming in Java. Addison Wesley.
15. LISKOV, B. AND WING, J. 1994. A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems 16, 6, 1811-1841.
16. MAIO, A. D., ATKINSON, C., GOLDSACK, S., MADERNA, F., AND MORETON, T. 1989. DRAGOON: An Ada-based object oriented language for concurrent, real-time distributed systems. In Ada: The Design Choice, Proceedings Ada-Europe Conference, Madrid, A. Alvarez, Ed. Cambridge University Press, 39-48.
17. MATSUOKA, S. AND YONEZAWA, A. 1993. Analysis of inheritance anomaly in object-oriented concurrent programming languages. In Research Directions in Concurrent Object-Oriented Programming. MIT Press, 107-150.
18. MEYER, B. 1993. Systematic concurrent object-oriented programming. Communications of the ACM 36, 9, 56-80.
19. MEYER, B. 1997. Object-Oriented Software Construction, Second ed. Prentice Hall.
20. MICHELL, S. AND LUNDQVIST, K. 1999. Extendable dispatchable task communication mechanisms. In Proceedings of IRTAW9, Ada Letters, Vol XIX(2). 54-59.
21. MITCHELL, S. E. AND WELLINGS, A. J. 1996. Synchronisation, concurrent object-oriented programming and the inheritance anomaly. Computer Languages 22, 1, 15-26.
22. NEWMAN, R. 1998. The classiC programming language and design of synchronous concurrent object oriented languages. Journal of Systems Architecture 45, 5, 387-407.
23. OAKS, S. AND WONG, H. 1997. Java Thread. O'Reilly.
24. TAFT, T. AND DUFF, R., Eds. 1997. Ada 95 Reference Manual. Springer-Verlag. (ISBN 3-540-63144-5).
25. WELLINGS, A. J., MITCHELL, S., AND BURNS, A. 1996. Object-oriented programming with protected types in Ada 95. International Journal of Mini and Micro Computers 18, 3, 130-136.
26. WIRTH, N. 1988. The programming language Oberon. Software - Practice and Experience 18, 7, 671-690.
27. WYATT, B., KAVI, K., AND HUFNAGEL, S. 1992. Parallelism in object-oriented languages: a survey. IEEE Software 9, 6, 56-66.
28. YOKOTE, Y. AND TORORO, M. 1987. Concurrent programming in concurrentsmalltalk. In Object-Oriented Concurrent Programming. MIT Press, 129-158.
29. YONEZAWA, A., BRIOT, J.-P., AND SHIBAYAMA, E. 1986. Object-oriented concurrent programming in ABCL/1. In ACM SIGPLAN Notices - Proceedings of OOPSLA 86. 258-268.