Book chapter
Open access

Towards a Type Theory for Active Objects: Working Paper

Published inObject Management = Gestion d'objets, Editors Tsichritzis, Dionysios, p. 295-304
PublisherGenève : Centre universitaire d'informatique
Publication date1990-07

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. Genève : Centre universitaire d’informatique, 1990. p. 295–304.
Main files (1)
Book chapter (Published version)
  • PID : unige:158325

Technical informations

Creation01/25/2022 12:40:00 PM
First validation01/25/2022 12:40:00 PM
Update time03/16/2023 2:29:12 AM
Status update03/16/2023 2:29:12 AM
Last indexation02/12/2024 12:18:57 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack