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.
https://hal.inria.fr/hal-01152636
Contributeur : Luigi Liquori
<>
Soumis le : lundi 18 mai 2015 - 12:49:56
Dernière modification le : jeudi 14 juin 2018 - 10:54:03
Document(s) archivé(s) le : jeudi 20 avril 2017 - 01:22:20
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〉
