Skip to Main content Skip to Navigation
Journal articles

Object calculi in linear logic

Michele Bugliesi 1 Giorgio Delzanno 2 Luigi Liquori 3, 4, 5 Maurizio Martelli 2
1 Dipartimento di Matematica [padova]
2 DIBRIS - Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi [Genova]
3 ENSMN - Ecole Nationale Supérieure des Mines de Nancy
4 DIMI - Dipartimento di Matematica e Informatica - Universita Udine
5 LOGNET - Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : Several calculi of objects have been studied in the recent literature, that support the central features of object-based languages: messages, inheritance, dynamic dispatch, object update and object-extension. We show that a complete semantic account of these features may be given in a fragment of higher-order linear logic.
Keywords : linear logic Object calculi logic programming
Document type :
Journal articles
Complete list of metadata

Cited literature [23 references]  Display  Hide  Download
https://hal.inria.fr/hal-01152636
Contributor : Luigi Liquori Connect in order to contact the contributor
Submitted on : Monday, May 18, 2015 - 12:49:56 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:29 PM
Long-term archiving on: : Thursday, April 20, 2017 - 1:22:20 AM

File

Vignette du document
2000-jlc-00.pdf
Files produced by the author(s)

Identifiers

Collections

INRIA | UNIV-LORRAINE | INSTITUT-TELECOM

Citation

Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli. Object calculi in linear logic. Journal of Logic and Computation, Oxford University Press (OUP), 2000, 10 (1), pp.75-104. ⟨10.1093/logcom/10.1.75⟩. ⟨hal-01152636⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Les métriques sont temporairement indisponibles

 

Contact                    Legal Notice                    Personal Data