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 metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/hal-01156598
Contributor : Luigi Liquori <>
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

File

1996-jicslp-96.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01156598, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

264

Files downloads

128