Book chapter
OA Policy
English

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

Published inTsichritzis, Dionysios (Ed.), Object composition = Composition d'objets, 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.

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. Tsichritzis, Dionysios (Ed.). Genève : Centre universitaire d’informatique, 1991. p. 205–224.
Main files (1)
Book chapter (Published version)
accessLevelPublic
Identifiers
  • PID : unige:158088
91views
23downloads

Technical informations

Creation18/01/2022 12:05:00
First validation18/01/2022 12:05:00
Update time16/03/2023 03:23:48
Status update16/03/2023 03:23:47
Last indexation01/11/2024 01:31:50
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack