Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download
Contributor : Luigi Liquori Connect in order to contact the contributor
Submitted on : Thursday, May 28, 2015 - 12:00:02 PM
Last modification on : Thursday, June 14, 2018 - 10:54:03 AM
Long-term archiving on: : Monday, April 24, 2017 - 3:46:46 PM


Files produced by the author(s)


  • 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⟩



Les métriques sont temporairement indisponibles