Semantics of Smalltalk-80

  • Mario Wolczko
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 276)


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.

Unable to display preview. Download preview PDF.


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

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Mario Wolczko
    • 1
  1. 1.Dept. of Computer ScienceThe UniversityManchesterUK

Personalised recommendations