Semantics of Smalltalk-80
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.
Unable to display preview. Download preview PDF.
- D. Bjørner and C. B. Jones. Formal Specification and Software Development. Prentice-Hall, 1983.Google Scholar
- A. Goldberg and D. Robson. Smalltalk-80: The Language and its Implementation. Addison-Wesley, 1983.Google Scholar
- M. J. C. Gordon. The Denotational Description of Programming Languages. Springer-Verlag, 1979.Google Scholar
- C. B. Jones. Systematic Software Development Using VDM. Prentice-Hall International, 1986.Google Scholar
- 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.Google Scholar
- J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977.Google Scholar
- M. Wolczko. Specification and Implementation of Object-Oriented Systems (working title). PhD thesis, Department of Computer Science, University of Manchester, forthcoming.Google Scholar