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
3:30pm
Wean 8220