The ClassiC programming language and design of synchronous concurrent object oriented languages

Journal of Systems Architecture

Volumn 45, Issue 5, 1998, Pages 387-407

  Newman, R M ^a  

^a Faculty of Health and Life Sciences   (United Kingdom)

Author keywords

Concurrency; Formal methods; Object orientation; Programming; Real time systems

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER SYSTEM RECOVERY; COMPUTER SYSTEMS PROGRAMMING; EMBEDDED SYSTEMS; REAL TIME SYSTEMS;

CLASSIC PROGRAMMING LANGUAGE; CONCURRENT OBJECT ORIENTED LANGUAGES (COOLS); INTERPROCESS COMMUNICATION (IPC);

OBJECT ORIENTED PROGRAMMING;

EID: 0032291498     PISSN: 13837621     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1383-7621(97)00089-1     Document Type: Article

References (25)

1. B. Meyer, Systematic concurrent object-oriented programming, Comm. ACM 36, 9 September 1993, pp. 56-79.
2. D. Caromel, Programming abstractions for concurrent programming, in: Proceedings of TOOLS Pacific 90, Sydney, 1990.
3. P. America, POOL-T: A parallel object-oriented language, in: M. Tokoro, A. Yonezawa (Eds.), Object-Oriented Concurrent Programming, MIT Press, Cambridge, MA, 1987.
4. D. Kafura, K.H. Lee, ACT++: Building a concurrent C++ with Actors, J. Object-Oriented Programming, 3, 1, 1990.
5. Sun Microsystems Corp., The Java Language: A White Paper (1995). http://java.sun.com/1.0alpha3/doc/overview/ java/index.html.
6. Sun Microsystems Inc., The Java Language Specification (1995). http://java.sun.com/newdocs.html#dev.
7. R. Newman, M. Payne, Integration of object oriented and concurrent programming, in: Proceedings of Euromicro 94, September 1994.
8. R. Newman, Synchronised method calls and verification of object oriented programs, in: Proceedings of Euromicro'95, September 1995.
9. N.H. Gehani, W.D. Roome, Concurrent C++: Concurrent programming with class(es), Software - Practice and Experience 16, 12. December 1988.
10. Ada 9X Project Office, Ada 9X Mapping Document, vol. 1: Mapping Rational, Intermetrics, 1992.
11. Ada 9X Project office, Ada 9X Mapping Document, vol. 2: Mapping Specification, Intermetrics, 1992.
12. D. Caromel, Towards a method of object-oriented concurrent programming, Comm. ACM 36, 9 September 1993, pp. 90-101.
13. C.A.R. Hoare, Communicating sequential processes, Comm. ACM 21 (8) (1978) 666-677.
14. INMOS Ltd., Occam Programming Manual, Prentice-Hall, Englewood Cliffs, NJ, 1984.
15. C.H. Agha, ACTORS: A model of concurrent computation in distributed systems, MIT Press, Cambridge, MA, 1986.
16. H.E. Bal, R. Grune, Programming Language Essentials, Addison-Wesley, Reading, MA, 1994, pp. 215.
17. Y.S. Hwang, B. Moon, S.D. Sharma, R. Ponnusamy, R. Das, J.H. Salz, A User's Guide to PVM Parallel Virtual Machine, Oak Ridge National Laboratory Report ORNL/ TM-11826 (1991).
18. N. Carriero, D. Gerlernter, Linda in context, Comm. ACM 32 (1989), pp. 444-458.
19. A. Benguelin, J. Dongarra, A. Geist, R. Manchek, V. Sundaram, Runtime and language support for compiling adaptive irregular programs on distributed memory machines, Software - Practice and Experience 25 (1995), pp. 597-621.
20. C. Chang, A. Sussman, J. Salz, Support for distributed dynamic data structures in C++, University of Maryland: Department of Computer Science Technical Report CS-TR-3416 and UMIACS-TR-95-19 (1995).
21. S. Matsuoka, K. Wakita, A. Yonezawa, Inheritance anomoly in object-oriented concurrent programming languages, in: G. Agha, P. Wegner, A. Yonezawa (Eds.), Research Directions in Object-Based Concurrency, MIT Press, Cambridge, MA, 1993.
22. E.W. Dijkstra, A Discipline of Programming, Prentice-Hall, Englewood Cliffs, NJ, 1976.
23. G.R. Andrews, Concurrent Programming Principles and Practice, Benjamin/Cummins, Menlo Park, CA, 1991, pp. 494-509.
24. C.A.R. Hoare, An axiomatic basis for computer programming, Communications of the ACM 12, 10 October 1969, pp. 576-583.
25. J.C. Corbett, An empirical evaluation of three methods for deadlock analysis of Ada tasking programs, in: Proceedings of the 1994 International Symposium on Software Testing and Analysis (ISSTA '94), ACM, pp. 204-215.