Abstract
A framework of object oriented parallel computations is presented and a programming language called ABCL whose semantics faithfully reflects this computation model is illustrated. A methodology for industrial software production based upon the computation model is discussed.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Dijkstra, E.W.: Notes on Structured Programming, Structured Programming, (Eds. O.J. Dahl, et al.), Academic Press, 1972.
Fukui, S.: An Object Oriented Parallel Language, Proc. Hakone Programming Symposium, (1984), in Japanese.
Goldberg, A. and Robson, D.: SmallTalk80 — The Language and its Implementation —, Addison Wesley, 1983.
Hewitt, C. and Baker, H.: Laws for Parallel Communicating Processes, IFIP-77, Toronto, (1977).
Hewitt, C. et al.: A Universal Modular Actor Formalism for Artificial Intelligence, Proc. Int. Jnt. Conf. on Art. Int., (1973).
Hoare, C.A.R.: Communicating Sequential Processes, CACM, Vol. 21 No. 8, 1978.
Kerridge, J. M. and Simpson, D.: Three Solutions for a Robot Arm Controller Using Pascal-Plus, Occam and Edison, Software — Practice and Experience — Vol. 14, (1984), pp. 3–15.
Lieberman, H.: A Preview of Act-1, AI-Memo 625, MIT AI Lab., (1981).
Matsumoto, Y.: Management of Industrial Software Production, IEEE Computer Vol. 17, No. 2, (1984), pp. 59–72.
Matsuda, H. and Yonezawa, A.: ABCL User's Manual, Internal Memo, Dept. of Information Science, Tokyo Institute of Technology, November 1984.
Special Issue on Rapid Prototyping, ACM SIG Software Engineering Notes Vol. 7, No. 5, December 1982.
Special Issue For Distributed Problem Solving, IEEE Trans. on Systems, Man and Cybernetics, Vol. SMC-11, No.1, (1981).
Weinreb, D. and Moon, D.: Flavors: Message Passing in the Lisp Machine, AI-Memo 602, MIT AI Lab., (1981).
Yonezawa, A.: Specification and Verification Techniques for Parallel Programs Based on Message Passing Semantics, (Ph.D. Thesis), TR-191 Laboratory for Computer Science, MIT, 1977.
Yonezawa, A. and Hewitt, C.: Modelling Distributed Systems, Machine Intelligence, Vol. 9 (1979).
Yonezawa, A, Matsuda, H and Shibayama, E.: An Object Oriented Approach for Concurrent Programming, Research Report C-63, Dept. of Information Science, Tokyo Institute of Technology, November 1984.
Yonezawa, A.: Discrete Event Simulation Based on An Object Oriented Parallel Computation Model, Research Report C-64, Dept. of Information Science, Tokyo Institute of Technology, November 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yonezawa, A., Matsumoto, Y. (1985). Object oriented concurrent programming and industrial software production. In: Ehrig, H., Floyd, C., Nivat, M., Thatcher, J. (eds) Formal Methods and Software Development. TAPSOFT 1985. Lecture Notes in Computer Science, vol 186. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15199-0_26
Download citation
DOI: https://doi.org/10.1007/3-540-15199-0_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15199-9
Online ISBN: 978-3-540-39307-8
eBook Packages: Springer Book Archive