Object calculi in linear logic

Abstract : Several calculi of objects have been studied in the recent literature, that support the central features of object-based languages: messages, inheritance, dynamic dispatch, object update and object-extension. We show that a complete semantic account of these features may be given in a fragment of higher-order linear logic.
Type de document :
Article dans une revue
Journal of Logic and Computation, Oxford University Press (OUP), 2000, 10 (1), pp.75-104. 〈10.1093/logcom/10.1.75〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01152636
Contributeur : Luigi Liquori <>
Soumis le : lundi 18 mai 2015 - 12:49:56
Dernière modification le : jeudi 11 janvier 2018 - 16:47:41
Document(s) archivé(s) le : jeudi 20 avril 2017 - 01:22:20

Fichier

2000-jlc-00.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli. Object calculi in linear logic. Journal of Logic and Computation, Oxford University Press (OUP), 2000, 10 (1), pp.75-104. 〈10.1093/logcom/10.1.75〉. 〈hal-01152636〉

Partager

Métriques

Consultations de la notice

242

Téléchargements de fichiers

50