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

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.

Mots clés: logic programming; Object calculi; linear logic

Domaines: Informatique et langage [cs.CL]; Logique en informatique [cs.LO]

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