Semantics of Smalltalk-80

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

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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