More Web Proxy on the site http://driver.im/

research-article

Open access

A layered semantics for a parallel object-oriented language

Authors:

Pierre America,

Jan RuttenAuthors Info & Claims

Formal Aspects of Computing, Volume 4, Issue 4

Pages 376 - 408

https://doi.org/10.1007/BF01211312

Published: 01 July 1992 Publication History

Abstract

We develop a denotational semantics for POOL, a parallel object-oriented programming language. The main contribution of this semantics is an accurate mathematical model of the most important concept in object-oriented programming: the object. This is achieved by structuring the semantics in layers working at three different levels: for statements, objects and programs. For each of these levels we define a specialized mathematical domain of processes, which we use to assign a meaning to each language construct. This is done in the mathematical framework of complete metric spaces. We also define operators that translate between these domains. At the program level we give a precise definition of the observable input/output behaviour of a particular program, which could be used at a later stage to decide the issue of full abstractness. We illustrate our semantic techniques by first applying them to a toy language similar to CSP.

References

References

[1]

Pierre America, Jaco de Bakker, Joost N. Kok, and Jan Rutten. Operational semantics of a parallel object-oriented language. InConference Record of the 13th Symposium on Principles of Programming Languages, St. Petersburg, Florida, January 13–15, 1986, 194–208.

[2]

America Pierre, de Bakker Jaco, Kok Joost N., and Rutten Jan Denotational semantics of a parallel object-oriented language Information and Computation 1989 83 2 152-205

Digital Library

[3]

Pierre America. POOL-T: A parallel object-oriented language. In Akinori Yonezawa and Mario Tokoro, editors,Object-Oriented Concurrent Programming, 199–220. MIT Press, 1987.

[4]

Pierre America. A behavioural approach to subtyping in object-oriented programming languages. InWorkshop on Inheritance Hierarchies in Knowledge Representation and Programming Languages, Viareggio, Italy, February 6–8, 1989. Wiley. Also appeared inPhilips Journal of Research, 44(2/3):365–383, July 1989.

[5]

America Pierre Issues in the design of a parallel object-oriented language Formal Aspects of Computing 1989 1 4 366-411

Digital Library

[6]

America Pierre Klop J. W., Meyer J.-J. Ch., and Rutten J. J. M. M. The practical importance of formal semantics J. W. de Bakker, 25 Jaar Semantiek, Liber Amicorum 1989 Amsterdam, the Netherlands Centre for Mathematics and Computer Science 31-40

[7]

Pierre America. Designing an Object-Oriented Programming Language with Behavioural Subtyping. In J.W. de Bakker, W.P. de Roever and G. Rozenberg, editors,Proceedings REX/FOOL Workshop on the Foundations of Object-Oriented Languages, 60–90. Springer LNCS 489, 1991.

[8]

America Pierre and Rutten Jan Solving reflexive domain equations in a category of complete metric spaces Journal of Computer and System Sciences 1989 39 3 343-375

[9]

de Bakker J. W. and Zucker J. I. Processes and the denotational semantics of concurrency Information and Control 1982 54 70-120

[10]

Dugundji J. Topology 1966 Boston, Massachusetts Allyn and Bacon

[11]

Engelking R. General Topology Revised and completed version. Sigma Series in Pure Mathematics, Vol. 6 1989 Berlin Heldermann

[12]

Michael J. C. Gordon.The Denotational Description of Programming Languages: An Introduction. Springer, 1979.

[13]

Hoare C. A. R. Communicating sequential processes Communications of the ACM 1978 21 8 666-677

Digital Library

[14]

Michael E. Topologies on spaces of subsets Transactions of the AMS 1951 71 152-182

[15]

Saunders Mac Lane.Categories for the Working Mathematician. Graduate Texts in Mathematics, Vol. 5, Springer, 1971.

[16]

Plotkin Gordon D. A structural approach to operational semantics Report DAIMI FN-19 1981 Aarhus, Denmark Aarhus University, Computer Science Department

[17]

Rutten Jan Semantic correctness for a parallel object-oriented language SIAM Journal on Computing 1990 19 3 341-383

Digital Library

[18]

Frits W. Vaandrager. Process algebra semantics for POOL. In J.C.M. Baeten, editor,Applications of process algebra, 173–236. Cambridge Tracts in Theoretical Computer Science 17, Cambridge University Press, 1990.

Cited By

Jones CAstarte T(2018)Challenges for Formal Semantic Description: Responses from the Main ApproachesEngineering Trustworthy Software Systems10.1007/978-3-030-02928-9_6(176-217)Online publication date: 13-Nov-2018
https://doi.org/10.1007/978-3-030-02928-9_6
Jones C(2007)Splitting atoms safelyTheoretical Computer Science10.1016/j.tcs.2006.12.029375:1-3(109-119)Online publication date: 20-Apr-2007
https://dl.acm.org/doi/10.1016/j.tcs.2006.12.029
Jones C(2007)Understanding Programming Language Concepts Via Operational SemanticsDomain Modeling and the Duration Calculus10.1007/978-3-540-74964-6_4(177-235)Online publication date: 2007
https://doi.org/10.1007/978-3-540-74964-6_4
Show More Cited By

Recommendations

The Object-Oriented Functional Data Language

The object-oriented functional data language (O/sup 2/FDL) is an interactive strongly typed database programming language that integrates the object-oriented and functional programming paradigms. It was designed for advanced applications that require a ...
A Domain-Theoretic Model Of Nominally-Typed Object-Oriented Programming

The majority of contemporary mainstream object-oriented (OO) software is written using nominally-typed OO programming languages. Extant domain-theoretic models of OOP developed to analyze OO type systems miss crucial features of these mainstream OO ...
What Is Object-Oriented Programming?

The meaning of the term 'object oriented' is examined in the context of the general-purpose programming language C++. This choice is made partly to introduce C++ and partly because C++ is one of the few languages that supports data abstraction, object-...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Formal Aspects of Computing

Formal Aspects of Computing Volume 4, Issue 4

Jul 1992

89 pages

ISSN:0934-5043

EISSN:1433-299X

Issue’s Table of Contents

© BCS 1992.

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 July 1992

Accepted: 15 May 1991

Received: 15 February 1991

Published in FAC Volume 4, Issue 4

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

16
Total Citations
View Citations
39
Total Downloads

Downloads (Last 12 months)27
Downloads (Last 6 weeks)2

Reflects downloads up to 20 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Jones CAstarte T(2018)Challenges for Formal Semantic Description: Responses from the Main ApproachesEngineering Trustworthy Software Systems10.1007/978-3-030-02928-9_6(176-217)Online publication date: 13-Nov-2018
https://doi.org/10.1007/978-3-030-02928-9_6
Jones C(2007)Splitting atoms safelyTheoretical Computer Science10.1016/j.tcs.2006.12.029375:1-3(109-119)Online publication date: 20-Apr-2007
https://dl.acm.org/doi/10.1016/j.tcs.2006.12.029
Jones C(2007)Understanding Programming Language Concepts Via Operational SemanticsDomain Modeling and the Duration Calculus10.1007/978-3-540-74964-6_4(177-235)Online publication date: 2007
https://doi.org/10.1007/978-3-540-74964-6_4
Jones C(2006)An Approach to Splitting Atoms SafelyElectronic Notes in Theoretical Computer Science10.1016/j.entcs.2005.11.051155(43-60)Online publication date: May-2006
https://doi.org/10.1016/j.entcs.2005.11.051
Jones C(2006)Some mistakes I have and what I have learned from themFundamental Approaches to Software Engineering10.1007/BFb0053580(7-20)Online publication date: 23-May-2006
https://doi.org/10.1007/BFb0053580
Goot RBruin A(2005)Syntax and semantics of ProcolMathematical Foundations of Computer Science 199510.1007/3-540-60246-1_156(509-518)Online publication date: 2-Jun-2005
https://doi.org/10.1007/3-540-60246-1_156
Breugel F(2005)Three metric domains of processes for bisimulationMathematical Foundations of Programming Semantics10.1007/3-540-58027-1_5(103-121)Online publication date: 3-Jun-2005
https://doi.org/10.1007/3-540-58027-1_5
Jones C(2005)A pi-calculus semantics for an object-based design notationCONCUR'9310.1007/3-540-57208-2_12(158-172)Online publication date: 27-May-2005
https://doi.org/10.1007/3-540-57208-2_12
Jones C(2005)Constraining interference in an object-based design methodTAPSOFT'93: Theory and Practice of Software Development10.1007/3-540-56610-4_61(136-150)Online publication date: 28-May-2005
https://doi.org/10.1007/3-540-56610-4_61
Hoek WHulst MMeyer J(2005)Towards an epistemic approach to reasoning about concurrent programsSemantics: Foundations and Applications10.1007/3-540-56596-5_37(261-287)Online publication date: 3-Jun-2005
https://doi.org/10.1007/3-540-56596-5_37
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

Media

Figures

Other

Tables

View Issue’s Table of Contents