Object Oriented application flow graphs and their semantics

  • Erik de Haas
  • Peter van Emde Boas
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 711)


In this paper we present a language called OOAFG and its semantics. OOAFG intends to express parallelism in the context of object identity. We believe that the approach to parallelism we take here is a kind of parallelism that is relatively unexplored which connects both to the world of Object Oriented programming, and to the dataflow paradigm.


Data Packet Data Object Structure Graph Operational Semantic Object Orient Programming 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Ame86a]
    P. America, Object Oriented programming: a theoreticians introduction, Bulletin of the European Association for Theoretical Computer Science, 29, 1986, pp.69–84.Google Scholar
  2. [Ame87]
    P. America, POOL-T: A parallel object oriented Language, in A. Yonezawa, M. Tokoro (Eds.), Object Oriented Concurrent Programming, MIT Press, 1987, pp.199–220.Google Scholar
  3. [ABKR86]
    P. America, J.W. de Bakker, J.N. Kok, J.Rutten, Operational semantics for a parallel object oriented language, in Conference Record of the 13th Symposium on Principles of Programming Languages (POPL), St. Petersburg Florida, 1986, pp.194–208.Google Scholar
  4. [ABKR89]
    P.America, J.W. de Bakker, J.Rutten, J.N. Kok, Denotational semantics of a parallel object oriented language, Information and Computation vol. 83, pp.152–205, 1989Google Scholar
  5. [BL91]
    J. van den Bos, C. Laffra, PROCOL, a Concurrent Object Oriented Language with Protocols, deligation and constraints, Acta Informatica, Vol.28, fasc.6, pp.511–538, 1991.Google Scholar
  6. [BKMOZ85]
    J.W. de Bakker, J.N. Kok, J.-J.Ch. Meyer, E.-R. Olderog, J.I. Zucker, Contrasting themes in the semantics of imperative concurrency, Current Trends in Concurrency (J.W. de Bakker e.a. eds.), LNCS 244, Springer 1985.Google Scholar
  7. [BJ66]
    C.Böhm, G. Jacopini, Flow-diagrams, Turing Machines, and Languages with Only Two Formation Rules, Comm. ACM 9 5,May 1966, pp. 366–371.Google Scholar
  8. [CW85]
    L. Cardelli, P. Wegner, On understanding Types, Data Abstractions and Polymorphism, Computing Surveys, vol. 17, nr. 4, December 1985, pp.471–522.Google Scholar
  9. [GR83]
    A. Goldberg, D, Robson, Smalltalk-80: The language and its implementation, Addison-Wesley, Reading, MA, 1983.Google Scholar
  10. [HP79]
    M.C.B. Hennessy, G.D. Plotkin, Full abstraction for a simple parallel programming language, Proceedings of the 8th MFCS (J. Becvar ed.), LNCS 74 Springer 1979, pp.108–120.Google Scholar
  11. [Kah74]
    G. Kahn, The semantics of a simple language for parallel programming, Proceedings Information Processing (Rosenfeld ed.), pp.471–475, North Holland, 1977.Google Scholar
  12. [Kok88]
    J.N. Kok, Data Flow semantics, Technical report CS-R8835, Centre for Mathematics and Computer Science, Amsterdam, 1988.Google Scholar
  13. [Mey88]
    Bertrand Meyer, Object Oriented Software Construction, Prentice Hall 1988, ISBN 0-13-629049-3.Google Scholar
  14. [MR90]
    T.J. Marlow, B.G. Ryder, Properties of dataflow frameworks, Acta Informatica, vol.28, fasc.2, pp.121–163, 1990.Google Scholar
  15. [Plo81]
    G.D. Plotkin, A structural approach to operational semantics, Technical Report DAIMI FN-19, Aarhuis University, Computer Science department, 1981.Google Scholar
  16. [Rut88]
    J. Rutten, Semantic correctness for a parallel object oriented language, Report CS-R8843, Centre for Mathematics and Computer Science, Amsterdam, November 1987.Google Scholar
  17. [TBH82]
    P.C. Treleaven, D.R. Brownbridge, R.P. Hopkins, Data driven and demand driven computer architecture, Computing Surveys 14(1), March 1982.Google Scholar
  18. [Weg89]
    Peter Wegner, Learning the Language, BYTE, march 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Erik de Haas
    • 1
  • Peter van Emde Boas
    • 1
  1. 1.ILLCUniversity of AmsterdamAmsterdamThe Netherlands

Personalised recommendations