318 search results - page 1 / 64 » Semantics and Logic of Object Calculi |
LOGCOM
2000
13 years 4 months ago
2000
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...
LICS
2002
IEEE
13 years 9 months ago
2002
IEEE
MST
2008
13 years 4 months ago
2008
Subtyping in first order object calculi is studied with respect to the logical semantics obtained by identifying terms that satisfy the same set of predicates, as formalised throu...
TABLEAUX
1998
Springer
13 years 9 months ago
1998
Springer
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for ...
LICS
2008
IEEE
13 years 11 months ago
2008
IEEE
We introduce a systematic procedure to transform large classes of (Hilbert) axioms into equivalent inference rules in sequent and hypersequent calculi. This allows for the automat...