Skip to main content
SpringerLink
Log in

Capsules and types in Fresco

Program verification in Smalltalk

  • Conference paper
  • First Online:
ECOOP'91 European Conference on Object-Oriented Programming (ECOOP 1991)

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

Included in the following conference series:

Abstract

Fresco is a Smalltalk-based interactive environment supporting the specification and proven development of re-usable software components. These ‘capsules’ are deltas to the inheritance hierarchy, and form a more useful unit of designer-effort than class subhierarchies. Systems are built by composing capsules, which carry both specifications and code. The semantics of capsule composition is elucidated by examining the relationship between ‘type’ and ‘class’. Type-descriptions take the form of model-oriented specifications.

The principles discussed here can be applied to other object-oriented languages.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Pierre America and Frank van der Linden ‘A Parallel Object Oriented Language with Inheritance and Subtyping’ ECOOP 90

    Google Scholar 

  2. Marshall Cline and Doug Lea: ‘The Behaviour of C++ Classes'. Proceedings, Symp OOP Emphasizing Practical Applications, Marist Coll., Sept 90

    Google Scholar 

  3. William Cook, Walter Hill, Peter Canning ‘Inheritance is not subtyping’ ACM ToPLAS 1990 pp125–135

    Google Scholar 

  4. Ralph Johnson, Justin Graver, Lawrence Zurawski ‘TS: an optimizing compiler for Smalltalk’ OOPSLA'88

    Google Scholar 

  5. Cliff Jones: 'systematic software construction using VDM’ (PHI, 2nd ed. 1990)

    Google Scholar 

  6. C.B.Jones, K.D.Jones, P.A.Lindsay, R.C.Moore: ‘Mural: a formal development support system’ Springer Verlag, 1991

    Google Scholar 

  7. Peter Lindsay: Logical frames for interactive theorem proving. TR: UMCS 87-12-7, Dept of Computer Science, University of Manchester, UK 1987

    Google Scholar 

  8. John M Lucassen and David K. Gifford: ‘Polymorphic effect systems’ Proc 15th ACM Symp Principles of Programming Languages Jan 88 pp47–57

    Google Scholar 

  9. Bertrand Meyer: ‘Object-oriented software construction’ (PHI 88)

    Google Scholar 

  10. Carroll Morgan: ‘Programming from Specifications’ (PHI 1990)

    Google Scholar 

  11. Peter Wegner ‘Concepts and paradigms of OOP’ OOPS Messenger 1(1) Aug90 [ACM]

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Manchester, UK

    Alan Wills

Authors
  1. Alan Wills
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Pierre America

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wills, A. (1991). Capsules and types in Fresco. In: America, P. (eds) ECOOP'91 European Conference on Object-Oriented Programming. ECOOP 1991. Lecture Notes in Computer Science, vol 512. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0057015

Download citation

  • DOI: https://doi.org/10.1007/BFb0057015

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54262-9

  • Online ISBN: 978-3-540-47537-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation