An Interpretation of Typed Objects Into Typed $\pi$-calculus - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 1996

An Interpretation of Typed Objects Into Typed $\pi$-calculus

Résumé

An interpretation of Abadi and Cardelli's first-order functional {\em Object Calculus\/} \cite{AbCa94a} into a typed $\pi$-calculus is presented. The interpretation validates the subtyping relation and the typing judgements of the Object Calculus, and is computationally adequate. The type language for the $\pi$-calculus is that in \cite{PiSa93} --- a development of Milner's sorting discipline \cite{Mil91} with I/O annotations to separate the capabilities of reading and writing on a channel --- but with {\em variants} in place of tuples. Types are necessary to justify certain algebraic laws for the $\pi$-calculus which are important in the proof of computational adequacy of the translation. The study intends to offer a contribution to understanding, on the one hand, the relationship between $\pi$-calculus types and conventional types of programming languages and, on the other hand, the usefulness of the $\pi$-calculus as a metalanguage for the semantics of typed ØbO languages.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-3000.pdf (390.49 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00073696 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00073696 , version 1

Citer

Davide Sangiorgi. An Interpretation of Typed Objects Into Typed $\pi$-calculus. RR-3000, INRIA. 1996. ⟨inria-00073696⟩
69 Consultations
182 Téléchargements

Partager

Gmail Facebook X LinkedIn More