Expressive Synchronization Types for Inheritance in the Join Calculus - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2003

Expressive Synchronization Types for Inheritance in the Join Calculus

Résumé

In prior work, Fournet et al. proposed an extension of the join calculus with class-based inheritance, aiming to provide a precise semantics for concurrent objects. However, as we show here, their system suffers from several limitations, which make it inadequate to form the basis of a practical implementation. In this paper, we redesign the static semantics for inheritance in the join calculus, equipping class types with more precise information. Compared to previous work, the new type system is more powerful, more expressive and simpler. Additionally, one runtime check of the old system is suppressed in the new design. We also prove the soundness of the new system, and have implemented type inference.
Fichier principal
Vignette du fichier
RR-4889.pdf (400.18 Ko) Télécharger le fichier

Dates et versions

inria-00071693 , version 1 (23-05-2006)

Identifiants

  • HAL Id : inria-00071693 , version 1

Citer

Qin Ma, Luc Maranget. Expressive Synchronization Types for Inheritance in the Join Calculus. [Research Report] RR-4889, INRIA. 2003. ⟨inria-00071693⟩
50 Consultations
116 Téléchargements

Partager

Gmail Facebook X LinkedIn More