Semantics of Smalltalk-80
Mario I. Wolczko
In: Proceedings of the 1987 European Conference on Object-Oriented
Programming, J. B\'ezivin, J.-M. Hullot, P. Cointe, and H. Lieberman,
editors, Lecture Notes in Computer Science, volume 276, pages 108-120.
Springer-Verlag, Paris, June 1987.
Abstract
A formal model of the Smalltalk-80 programming language is introduced.
The semantics of much of the Smalltalk-80 language are described using the
denotational style. A poorly-designed feature of Smalltalk is
highlighted, and alternative semantics are presented for the language
feature.
PostScript source