en
Book chapter
Open access
English

A Unifying Framework for Process Calculus Semantics of Concurrent Object-Based Languages and Features: working paper

Published inObject composition = Composition d'objets, Editors Tsichritzis, Dionysios, p. 205-224
PublisherGenève : Centre universitaire d'informatique
Publication date1991
Abstract

A framework for the semantic description of concurrent object-oriented languages based on CCS is outlined. We discuss how the essential object-oriented features, such as encapsulation, object identity, classes, inheritance and concurrency are captured. Then, the proposed framework is used for defining the semantics of significantly different versions of a toy language which supports the above features. The ease with which the different versions of this language are accommodated provides some evidence for the applicability of the framework for a wide range of languages, as well as its usefulness for comparing different language designs and examining the interaction of a rich set of object-oriented features.

eng
Citation (ISO format)
PAPATHOMAS, Michael. A Unifying Framework for Process Calculus Semantics of Concurrent Object-Based Languages and Features: working paper. In: Object composition = Composition d’objets. Genève : Centre universitaire d’informatique, 1991. p. 205–224.
Main files (1)
Book chapter (Published version)
accessLevelPublic
Identifiers
  • PID : unige:158088
78views
10downloads

Technical informations

Creation01/18/2022 11:05:00 AM
First validation01/18/2022 11:05:00 AM
Update time03/16/2023 2:23:48 AM
Status update03/16/2023 2:23:47 AM
Last indexation01/17/2024 3:55:16 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack