Advertisement

Object oriented concurrent programming and industrial software production

  • Akinori Yonezawa
  • Yoshihiro Matsumoto
Colloquium On Software Engineering Industrial Experience
Part of the Lecture Notes in Computer Science book series (LNCS, volume 186)

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.

Keywords

Local Memory Message Passing Object Oriented Programming Concurrent Program Incoming Message 
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

  1. [DI72]
    Dijkstra, E.W.: Notes on Structured Programming, Structured Programming, (Eds. O.J. Dahl, et al.), Academic Press, 1972.Google Scholar
  2. [FU84]
    Fukui, S.: An Object Oriented Parallel Language, Proc. Hakone Programming Symposium, (1984), in Japanese.Google Scholar
  3. [GR83]
    Goldberg, A. and Robson, D.: SmallTalk80 — The Language and its Implementation —, Addison Wesley, 1983.Google Scholar
  4. [HB77]
    Hewitt, C. and Baker, H.: Laws for Parallel Communicating Processes, IFIP-77, Toronto, (1977).Google Scholar
  5. [HE73]
    Hewitt, C. et al.: A Universal Modular Actor Formalism for Artificial Intelligence, Proc. Int. Jnt. Conf. on Art. Int., (1973).Google Scholar
  6. [HO78]
    Hoare, C.A.R.: Communicating Sequential Processes, CACM, Vol. 21 No. 8, 1978.Google Scholar
  7. [KS84]
    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.Google Scholar
  8. [LI81]
    Lieberman, H.: A Preview of Act-1, AI-Memo 625, MIT AI Lab., (1981).Google Scholar
  9. [MA84]
    Matsumoto, Y.: Management of Industrial Software Production, IEEE Computer Vol. 17, No. 2, (1984), pp. 59–72.Google Scholar
  10. [MY84]
    Matsuda, H. and Yonezawa, A.: ABCL User's Manual, Internal Memo, Dept. of Information Science, Tokyo Institute of Technology, November 1984.Google Scholar
  11. [SI82]
    Special Issue on Rapid Prototyping, ACM SIG Software Engineering Notes Vol. 7, No. 5, December 1982.Google Scholar
  12. [SP81]
    Special Issue For Distributed Problem Solving, IEEE Trans. on Systems, Man and Cybernetics, Vol. SMC-11, No.1, (1981).Google Scholar
  13. [WM81]
    Weinreb, D. and Moon, D.: Flavors: Message Passing in the Lisp Machine, AI-Memo 602, MIT AI Lab., (1981).Google Scholar
  14. [YO77]
    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.Google Scholar
  15. [YO79]
    Yonezawa, A. and Hewitt, C.: Modelling Distributed Systems, Machine Intelligence, Vol. 9 (1979).Google Scholar
  16. [YO84]
    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.Google Scholar
  17. [YO84a]
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Akinori Yonezawa
    • 1
  • Yoshihiro Matsumoto
    • 2
  1. 1.Department of Information ScienceTokyo Institute of TechnologyTokyo
  2. 2.Heavy Apparatus Eng. Lab.Toshiba CorporationTokyo

Personalised recommendations