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
71views
8downloads

Technical informations

Creation2022/01/18 11:05:00
First validation2022/01/18 11:05:00
Update time2023/03/16 02:23:48
Status update2023/03/16 02:23:47
Last indexation2024/01/17 15:55:16
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack