A Linear Logic Calculus of Objects - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

A Linear Logic Calculus of Objects


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
Origin : Files produced by the author(s)

Dates and versions

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


  • HAL Id : hal-01156598 , version 1


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⟩


146 View
60 Download


Gmail Facebook Twitter LinkedIn More