Abstract
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.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
P. America, Object Oriented programming: a theoreticians introduction, Bulletin of the European Association for Theoretical Computer Science, 29, 1986, pp.69–84.
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.
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.
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, 1989
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.
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.
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.
L. Cardelli, P. Wegner, On understanding Types, Data Abstractions and Polymorphism, Computing Surveys, vol. 17, nr. 4, December 1985, pp.471–522.
A. Goldberg, D, Robson, Smalltalk-80: The language and its implementation, Addison-Wesley, Reading, MA, 1983.
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.
G. Kahn, The semantics of a simple language for parallel programming, Proceedings Information Processing (Rosenfeld ed.), pp.471–475, North Holland, 1977.
J.N. Kok, Data Flow semantics, Technical report CS-R8835, Centre for Mathematics and Computer Science, Amsterdam, 1988.
Bertrand Meyer, Object Oriented Software Construction, Prentice Hall 1988, ISBN 0-13-629049-3.
T.J. Marlow, B.G. Ryder, Properties of dataflow frameworks, Acta Informatica, vol.28, fasc.2, pp.121–163, 1990.
G.D. Plotkin, A structural approach to operational semantics, Technical Report DAIMI FN-19, Aarhuis University, Computer Science department, 1981.
J. Rutten, Semantic correctness for a parallel object oriented language, Report CS-R8843, Centre for Mathematics and Computer Science, Amsterdam, November 1987.
P.C. Treleaven, D.R. Brownbridge, R.P. Hopkins, Data driven and demand driven computer architecture, Computing Surveys 14(1), March 1982.
Peter Wegner, Learning the Language, BYTE, march 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de Haas, E., van Emde Boas, P. (1993). Object Oriented application flow graphs and their semantics. In: Borzyszkowski, A.M., Sokołowski, S. (eds) Mathematical Foundations of Computer Science 1993. MFCS 1993. Lecture Notes in Computer Science, vol 711. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57182-5_40
Download citation
DOI: https://doi.org/10.1007/3-540-57182-5_40
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57182-7
Online ISBN: 978-3-540-47927-7
eBook Packages: Springer Book Archive