A Linear Logic Calculus of Objects - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1996

A Linear Logic Calculus of Objects

Résumé

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.
Fichier principal
Vignette du fichier
1996-jicslp-96.pdf (314.31 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01156598 , version 1 (28-05-2015)

Identifiants

  • HAL Id : hal-01156598 , version 1

Citer

Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli. A Linear Logic Calculus of Objects. 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. ⟨hal-01156598⟩

Collections

INRIA INRIA2
147 Consultations
63 Téléchargements

Partager

Gmail Facebook X LinkedIn More