3583 search results - page 11 / 717 » A Type System for the Relational Calculus of Object Systems |
126
click to vote
TACS
1994
Springer
15 years 9 months ago
1994
Springer
We introduce simple object calculi that support method override and object subsumption. We give an untyped calculus, typing rules, and equational rules. We illustrate the expressi...
134
click to vote
POPL
1999
ACM
15 years 9 months ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
163
click to vote
ICNC
2005
Springer
15 years 10 months ago
2005
Springer
We have developed a calculus, called Ipi, for describing the aberrance in biological models. Our approach extends the traditional pi calculus to handle aberrant process in the sign...
117
click to vote
GPCE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
134
click to vote
CSL
2004
Springer
15 years 10 months ago
2004
Springer
Subtyping rules can be fairly complex for union types, due to interactions with other types, such as function types. Furthermore, these interactions turn out to depend on the calc...