Inheritance in Smalltalk-80: A Denotational Definition

@inproceedings{Kamin1988InheritanceIS,
  title={Inheritance in Smalltalk-80: A Denotational Definition},
  author={Samuel N. Kamin},
  booktitle={POPL},
  year={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.