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
Denotational semantics is a powerful technique to formally define programming languages. However, la...
Many different semantic descriptions have been proposed for programming languages and work has been ...
We consider a parallel Algol-like language, combining procedures with shared-variable parallelism. P...
AbstractA denotational model is presented for the language POOL, a parallel object-oriented language...
This paper is intended to give an overview of the formal techniques that have been developed to deal...
Wrappers are a mechanism in denotational semantic that model class inheritance of object oriented pr...
Denotational semantics is usually extensional in that it deals only with input/output properties of ...
Recently, several descriptions of object oriented programming languages with denotational semantics ...
AbstractTwo semantics for a parallel object-oriented programming language are presented. One is a tw...
Two semantics for a parallel object-oriented programming language are presented. One is a two-level ...
As a first case study in parallel object-oriented term rewriting, we give two implementations of te...
ion for a Shared Variable Parallel Language Stephen Brookes April 1993 CMU-CS-93-141 School of Comp...
AbstractWe consider a parallel Algol-like language, combining procedures with shared-variable parall...
Several recently developed semantics systems automatically generate compilers from denotational desc...
AbstractWe give a new denotational semantics for a shared-variable parallel programming language and...
Denotational semantics is a powerful technique to formally define programming languages. However, la...
Many different semantic descriptions have been proposed for programming languages and work has been ...
We consider a parallel Algol-like language, combining procedures with shared-variable parallelism. P...
AbstractA denotational model is presented for the language POOL, a parallel object-oriented language...
This paper is intended to give an overview of the formal techniques that have been developed to deal...
Wrappers are a mechanism in denotational semantic that model class inheritance of object oriented pr...
Denotational semantics is usually extensional in that it deals only with input/output properties of ...
Recently, several descriptions of object oriented programming languages with denotational semantics ...
AbstractTwo semantics for a parallel object-oriented programming language are presented. One is a tw...
Two semantics for a parallel object-oriented programming language are presented. One is a two-level ...
As a first case study in parallel object-oriented term rewriting, we give two implementations of te...
ion for a Shared Variable Parallel Language Stephen Brookes April 1993 CMU-CS-93-141 School of Comp...
AbstractWe consider a parallel Algol-like language, combining procedures with shared-variable parall...
Several recently developed semantics systems automatically generate compilers from denotational desc...
AbstractWe give a new denotational semantics for a shared-variable parallel programming language and...
Denotational semantics is a powerful technique to formally define programming languages. However, la...
Many different semantic descriptions have been proposed for programming languages and work has been ...
We consider a parallel Algol-like language, combining procedures with shared-variable parallelism. P...
DOI
Add to ORKG