318 search results - page 16 / 64 » Semantics and Logic of Object Calculi |
CSL
2003
Springer
14 years 3 months ago
2003
Springer
The semantics of class-based languages can be defined in terms of objects only [8, 7, 1] if classes are viewed as objects with a constructor method. One obtains a store in which m...
CCS
2004
ACM
14 years 3 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
FMCO
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Object calculi have been investigated as semantical foundation for object-oriented languages. Often, they are object-based, whereas the mainstream of object-oriented lang...
ICDE
1993
IEEE
14 years 1 months ago
1993
IEEE
The IsaLog model and language are presented. The model has complex objects with classes, relations, and isa hierarchies. The language is strongly typed and declarative. The main i...
APAL
2004
13 years 9 months ago
2004
First-order modal logic is very much under current development, with many different semantics proposed. The use of rigid objects goes back to Saul Kripke. More recently several se...