Home  Online Resources  Table of Contents

Journal of Logic and Computation, Volume 10, Issue 1, pp. 75-104: Abstract.

Object calculi in linear logic

M Bugliesi1, G Delzanno2, L Liquori3 and M Martelli4

1Dipartimento di Informatica, Universita' 'Ca Foscari' di Venezia, Via Torino 155, 30173 Mestre VE, Italy, E-mail: michele@dsi.unive.it, 2Max-Planck-Institut für Informatik, Im Stadtwald, 66123 Saarbrücken, Germany, E-mail: delzanno@mpi-sh.mpg.de, 3Dipartimento di Matematica ed Informatica, Univ. di Udine, Via delle Science 206, 33100 Udine, Italy, E-mail: liquori@dimi.uniud.it, 4DISI, Università di Genova, Via Dodecaneso, 35, 16146 Genova, Italy, E-mail: martelli@disi.unige.it

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: Object calculi, linear logic, logic programming

  Full-Text PDF  (279 KB)


[ Oxford University Press]   [ Oxford Journals]   [ Comments & Feedback]   Copyright© Oxford University Press, 2000.