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 expressiveness of our calculi and the pitfalls that we avoid.

• Type: Conference
• Year: 1994
• Where: TACS
• Authors: Martín Abadi, Luca Cardelli
• Keywords: Method Override, Object Subsumption, Simple Object Calculi, Software Engineering, TACS 1994