Object calculi in linear logic

13 years 4 months ago

Download www.dsi.unive.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.

Michele Bugliesi, Giorgio Delzanno, Luigi Liquori,

Real-time Traffic

Complete Semantic Account | LOGCOM 2000 | Object-based Languages | Several Calculi |

claim paper

» From Action Calculi to Linear Logic

» An Analysis of Linear Exponentials Based on Extended Sequents

» Structural Cut Elimination

» Sequent Calculi for Temporal Logics of Common Knowledge and Belief

» A Concurrent Model for Linear Logic

» Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief

» Semantics and Logic of Object Calculi

» Expanding the Realm of Systematic Proof Theory

Post Info
More Details (n/a)

Added	19 Dec 2010
Updated	19 Dec 2010
Type	Journal
Year	2000
Where	LOGCOM
Authors	Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli

Comments (0)

Sciweavers

Object calculi in linear logic

Complete Semantic Account | LOGCOM 2000 | Object-based Languages | Several Calculi |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers