Inheritance in smalltalk-80: a denotational definition
Samuel J. Kamin · 1988
A denotational semantic definition of SMALLTALK-80 is given. Its most notable characteristic is a surprisingly simple treatment of inheritance. An executable version of the semantics, written in STANDARD ML, is also described.