en
Book chapter
Open access
English

Type Inference and Subtyping for Higher-Order Generative Communication

ContributorsDami, Laurent
Published inObject applications = Applications des objets, Editors Tsichritzis, Dionysios, p. 173-204
PublisherGenève : Centre Universitaire d'Informatique
Publication date1996-07
Abstract

Models for generative communication use a common space, where concurrent agents put or retrieve data; data extraction is controlled by various kinds of filtering techniques, usually based on the structure of the data itself. However, for higher-order communication, i.e. when the data consists of software fragments, such techniques are not appropriate: structural information does not reflect the behaviour of a software fragment. This paper studies a filtering mechanism based instead on type information, so that software components can be retrieved according to type specifications. A rich type system with polymorphism and subtyping gives enough flexibility to formulate type specifications at various levels of detail.

eng
Citation (ISO format)
DAMI, Laurent. Type Inference and Subtyping for Higher-Order Generative Communication. In: Object applications = Applications des objets. Genève : Centre Universitaire d’Informatique, 1996. p. 173–204.
Main files (1)
Book chapter (Published version)
Identifiers
  • PID : unige:156425
68views
33downloads

Technical informations

Creation11/16/2021 12:42:00 PM
First validation11/16/2021 12:42:00 PM
Update time03/16/2023 1:49:33 AM
Status update03/16/2023 1:49:32 AM
Last indexation02/12/2024 12:15:09 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack