Uday Reddy

Objects and classes in Algol-like Languages

Object-oriented programming first developed in the context of Algol-like languages, in the form of Simula 67. The majority of object-oriented languages used in practice claim either direct or indirect descent from Algol. This work formalizes the theoretical underpinnings of these languages using the theory of "Algol-like Languages" initiated by Reynolds. The focus is on the data abstraction properties of classes and the encapsulation of mutable state. In this talk, I will cover the ideas of the type system, specifications, proof methods and denotational semantics.
October 7, 1998
Wean 8220