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.


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