An Imperative Object Calculus

We develop an imperative calculus of objects that is both tiny and expressive. Our calculus provides a minimal setting in which to study the operational semantics and the typing rules of object-oriented languages. We prove type soundness using a simple subject-reduction approach.

• Type: Conference
• Year: 1995
• Where: TAPSOFT
• Authors: Martín Abadi, Luca Cardelli
• Keywords: Imperative Calculus, Minimal Setting, Simple Subject-reduction Approach, Software Engineering, TAPSOFT 1995