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

1 MEIJE - Concurrency, Synchronization and Real-time Programming
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : 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.
Keywords :
Type de document :
Rapport
RR-3000, INRIA. 1996
Domaine :

Littérature citée [1 références]

https://hal.inria.fr/inria-00073696
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 13:33:14
Dernière modification le : samedi 27 janvier 2018 - 01:31:29
Document(s) archivé(s) le : dimanche 4 avril 2010 - 22:05:47

### Identifiants

• HAL Id : inria-00073696, version 1

### Citation

Davide Sangiorgi. An Interpretation of Typed Objects Into Typed $\pi$-calculus. RR-3000, INRIA. 1996. 〈inria-00073696〉

### Métriques

Consultations de la notice

## 108

Téléchargements de fichiers