Book chapter
OA Policy
English

Towards a Type Theory for Active Objects: Working Paper

Published inTsichritzis, Dionysios (Ed.), Object Management = Gestion d'objets, p. 295-304
PublisherGenève : Centre universitaire d'informatique
Publication date1990-07
Abstract

Currently popular notions of types, such as signature compatibility, fail to express essential properties of concurrent active objects that are necessary for their correct use in new contexts. We propose and explore a new notion of compatibility called interaction conformance defined in terms of the possible interactions between an object and its clients. We relate interaction conformance to known equivalence relations between communicating concurrent agents, and we show that, by viewing types as certain kinds of indeterminate agents, interaction conformance gives us a subtype relationship. We briefly explore the potential for applying these ideas to concurrent object-oriented languages.

Citation (ISO format)
NIERSTRASZ, Oscar, PAPATHOMAS, Michael. Towards a Type Theory for Active Objects: Working Paper. In: Object Management = Gestion d’objets. Tsichritzis, Dionysios (Ed.). Genève : Centre universitaire d’informatique, 1990. p. 295–304.
Main files (1)
Book chapter (Published version)
Identifiers
  • PID : unige:158325
191views
41downloads

Technical informations

Creation25/01/2022 12:40:00
First validation25/01/2022 12:40:00
Update16/03/2023 02:29:12
Status update16/03/2023 02:29:12
Last indexation01/11/2024 00:37:48
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack