A layered semantics for a parallel object-oriented language

DOI10.1007/BF01211312MaRDI QIDQ1194208zbMATH OpenOpenAlexWikidataFDO

Authors Pierre America, Jan J. M. M. Rutten

Publication date 27 September 1992

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01211312

zbMATH Keywords

complete metric spacesdenotational semanticsobject-oriented programmingparallelism

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Review text

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.

Recommendations

• Denotational semantics of a parallel object-oriented language
• Semantic Correctness for a Parallel Object-Oriented Language
• scientific article; zbMATH DE number 52915
• Syntax and semantics of Procol
• Objects in the \(\pi\)-calculus

Cites work

• A structural approach to operational semantics
• Communicating sequential processes
• Denotational semantics of a parallel object-oriented language
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 3640837 (Why is no real title available?)
• scientific article; zbMATH DE number 4115919 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Issues in the design of a parallel object-oriented language
• Processes and the denotational semantics of concurrency
• Semantic Correctness for a Parallel Object-Oriented Language
• Solving reflexive domain equations in a category of complete metric spaces
• Topologies on Spaces of Subsets

Cited in

(16)

• Denotational semantics of an object-oriented programming language with explicit wrappers
• Rendez-vous with metric semantics
• A transition system semantics for the control-driven coordination language MANIFOLD
• Objects in the \(\pi\)-calculus
• Semantic Correctness for a Parallel Object-Oriented Language
• Syntax and semantics of Procol
• scientific article; zbMATH DE number 3907747 (Why is no real title available?)
• scientific article; zbMATH DE number 52915 (Why is no real title available?)
• scientific article; zbMATH DE number 1096856 (Why is no real title available?)
• scientific article; zbMATH DE number 1490006 (Why is no real title available?)
• scientific article; zbMATH DE number 898454 (Why is no real title available?)
• scientific article; zbMATH DE number 1424057 (Why is no real title available?)
• Constraining interference in an object-based design method
• Three metric domains of processes for bisimulation
• Issues in the design of a parallel object-oriented language
• Denotational semantics of a parallel object-oriented language

Describes a project that uses

Uses Software

• POOL

This page was built for publication: A layered semantics for a parallel object-oriented language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1194208)