Logical equivalence for subtyping object and recursive types

Steffen Van Bakel 1 Ugo De'Liguoro 1
1 MIMOSA - Migration and mobility : semantics and applications
CRISAM - Inria Sophia Antipolis - Méditerranée , Université de Provence - Aix-Marseille 1, MINES ParisTech - École nationale supérieure des mines de Paris
Abstract : Subtyping in first order object calculi is studied with respect to the logical semantics obtained by identifying terms that satisfy the same set of predicates, as formalised through an assignment system. It is shown that equality in the full first order $\varsigma$-calculus is modelled by this notion, which in turn is included in a Morris-style contextual equivalence.
Type de document :
Rapport
[Research Report] RR-5985, INRIA. 2006, pp.51
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00097235
Contributeur : Steffen Van Bakel <>
Soumis le : jeudi 21 septembre 2006 - 11:28:08
Dernière modification le : lundi 12 novembre 2018 - 11:02:13
Document(s) archivé(s) le : lundi 5 avril 2010 - 22:49:09

Identifiants

  • HAL Id : inria-00097235, version 1

Citation

Steffen Van Bakel, Ugo De'Liguoro. Logical equivalence for subtyping object and recursive types. [Research Report] RR-5985, INRIA. 2006, pp.51. 〈inria-00097235〉

Partager

Métriques

Consultations de la notice

181

Téléchargements de fichiers

161