Skip to main content
SpringerLink
Log in

Semantics of Smalltalk-80

  • Conference paper
  • First Online:
Book cover ECOOP’ 87 European Conference on Object-Oriented Programming (ECOOP 1987)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 276))

Included in the following conference series:

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

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. D. Bjørner and C. B. Jones. Formal Specification and Software Development. Prentice-Hall, 1983.

    Google Scholar 

  2. A. Goldberg and D. Robson. Smalltalk-80: The Language and its Implementation. Addison-Wesley, 1983.

    Google Scholar 

  3. M. J. C. Gordon. The Denotational Description of Programming Languages. Springer-Verlag, 1979.

    Google Scholar 

  4. C. B. Jones. Systematic Software Development Using VDM. Prentice-Hall International, 1986.

    Google Scholar 

  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. J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977.

    Google Scholar 

  7. M. Wolczko. Specification and Implementation of Object-Oriented Systems (working title). PhD thesis, Department of Computer Science, University of Manchester, forthcoming.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, The University, Manchester, M13 9PL, UK

    Mario Wolczko

Authors
  1. Mario Wolczko
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Laboratoire d’Informatique, LIB, Université de Bretagne Occidentale, 6, avenue V. le Gorgeu, F-29287, Brest Cédex, France

    Jean Bézivin

  2. 54, avenue des Gressets, F-92700, La Celle Saint-Cloud, France

    Jean-Marie Hullot

  3. Rank Xerox France, DRBI, 12, place de l’Iris, F-92071, La Défense, Cedex 38, France

    Pierre Cointe

  4. The Artificial Intelligence Laboratory, Massachusetts Institute of Technology, 545, Technology Square, Cambridge, MA, 02139, USA

    Henry Lieberman

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation