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.
Smalltalk-80 is a registered trademark of Xerox Corp.
Work supported by the Science and Engineering Research Council
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
D. Bjørner and C. B. Jones. Formal Specification and Software Development. Prentice-Hall, 1983.
A. Goldberg and D. Robson. Smalltalk-80: The Language and its Implementation. Addison-Wesley, 1983.
M. J. C. Gordon. The Denotational Description of Programming Languages. Springer-Verlag, 1979.
C. B. Jones. Systematic Software Development Using VDM. Prentice-Hall International, 1986.
C. Minkowitz and P. Henderson. A formal description of object-oriented programming using VDM. In D. Bjørner, C. B. Jones, M. M. an Airchinnigh, and E. J. Neuhold, editors, VDM’ 87: VDM—A Formal Method at Work, pages 237–259, Springer-Verlag, Brussels, Belgium, March 1987.
J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977.
M. Wolczko. Specification and Implementation of Object-Oriented Systems (working title). PhD thesis, Department of Computer Science, University of Manchester, forthcoming.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wolczko, M. (1987). Semantics of Smalltalk-80 . In: Bézivin, J., Hullot, JM., Cointe, P., Lieberman, H. (eds) ECOOP’ 87 European Conference on Object-Oriented Programming. ECOOP 1987. Lecture Notes in Computer Science, vol 276. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47891-4_11
Download citation
DOI: https://doi.org/10.1007/3-540-47891-4_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18353-2
Online ISBN: 978-3-540-47891-1
eBook Packages: Springer Book Archive