de.mpg.escidoc.pubman.appbase.FacesBean
Deutsch
 
Hilfe Wegweiser Impressum Kontakt Einloggen
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT

Freigegeben

Zeitschriftenartikel

Object Calculi in Linear Logic

MPG-Autoren
http://pubman.mpdl.mpg.de/cone/persons/resource/persons44290

Delzanno,  Giorgio
Programming Logics, MPI for Informatics, Max Planck Society;

Externe Ressourcen
Es sind keine Externen Ressourcen verfügbar
Volltexte (frei zugänglich)
Es sind keine frei zugänglichen Volltexte verfügbar
Ergänzendes Material (frei zugänglich)
Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar
Zitation

Bugliesi, M., Delzanno, G., Liquori, L., & Martelli, M. (2000). Object Calculi in Linear Logic. Journal of Logic and Computation, 10(1), 75-104.


Zitierlink: http://hdl.handle.net/11858/00-001M-0000-000F-3444-B
Zusammenfassung
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.