A Linear Logic Calculus of Objects

Abstract : This paper presents a linear logic programming language, called O−• , that gives a complete account of an object-oriented calculus with inheritance and override. This language is best understood as a logical counterpart the object and record extensions of functional programming that have recently been proposed in the literature. From these proposals, O−• inherits the representation of objects as composite data structures, with attribute and method fields, as well as their interpretation as first-class values. O−• also gives a direct logical modeling of the self-application semantics of method invocation that justifies the view of objects as elements of recursive types. As such, the design of O−• appears interesting, in perspective, as a basis for developing flexible and powerful type systems for logical object-based languages.
Type de document :
Communication dans un congrès
The MIT Press. JICSLP’96. Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming. September 2-6, 1996, Bonn, Germany, Sep 1996, Bonn, Germany. pp.79-94, 〈http://ieeexplore.ieee.org/servlet/opac?bknumber=6267515〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01156598
Contributeur : Luigi Liquori <>
Soumis le : jeudi 28 mai 2015 - 12:00:02
Dernière modification le : jeudi 14 juin 2018 - 10:54:03
Document(s) archivé(s) le : lundi 24 avril 2017 - 15:46:46

Fichier

1996-jicslp-96.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01156598, version 1

Collections

Citation

Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli. A Linear Logic Calculus of Objects. The MIT Press. JICSLP’96. Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming. September 2-6, 1996, Bonn, Germany, Sep 1996, Bonn, Germany. pp.79-94, 〈http://ieeexplore.ieee.org/servlet/opac?bknumber=6267515〉. 〈hal-01156598〉

Partager

Métriques

Consultations de la notice

136

Téléchargements de fichiers

86