Sciweavers

Share
TACS
1994
Springer
9 years 3 months ago
A Theory of Primitive Objects - Untyped and First-Order Systems
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...
Martín Abadi, Luca Cardelli
LICS
1994
IEEE
9 years 3 months ago
A Semantics of Object Types
: We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the sound...
Martín Abadi, Luca Cardelli
books