A Theory of Primitive Objects - Untyped and First-Order Systems

15 years 6 months ago

Download lucacardelli.name

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.

Martín Abadi, Luca Cardelli

Real-time Traffic

Method Override | Object Subsumption | Simple Object Calculi | Software Engineering | TACS 1994 |

claim paper

» Pure Type Systems in Rewriting Logic Specifying Typed HigherOrder Languages in a FirstOrde...

» Use of rational numbers in the design of robust geometric primitives for threedimensional ...

» UPSILON Universal Programming System with Incomplete Lazy Object Notation

» The Klaim Project Theory and Practice

» Decoupling in Object Orientation

» Recursion on Nested Datatypes in Dependent Type Theory

» A theory of ErrorRate Testing

» LogicBased Regulation ComplianceAssistance

» Validating a Web Service Security Abstraction by Typing

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1994
Where	TACS
Authors	Martín Abadi, Luca Cardelli

Comments (0)

Sciweavers

A Theory of Primitive Objects - Untyped and First-Order Systems

Method Override | Object Subsumption | Simple Object Calculi | Software Engineering | TACS 1994 |

Explore & Download

Productivity Tools

Sciweavers