Sciweavers

64
Voted
TACS
1994
Springer
15 years 1 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