Skip to main content
SpringerLink
Log in

Introducing Hyper-Z — a New Approach to Object Orientation in Z

  • Conference paper
Z User Workshop, London 1992

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

Abstract

We introduce Hyper-Z, yet another object-oriented version of Z. Hyper-Z differs from standard Z, and other proposed OO extensions of Z, in that its semantics (non-well-founded sets) naturally and directly supports the specification of circularly defined objects and classes. This enables us to specify classes simply as (possibly self-recursive) schemas, and gives a very simple characterization of conformant inheritance as Z subtyping. It is also extremely close to standard Z, both in its syntax and semantics (axiomatic set theory).

This work was funded by SERC grant GR/H16629.

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 54.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. Meira S L and Cavalcanti A L C. Modular Object-Oriented Z Specifications. In: Nicholls J E (ed) Z User Workshop, Oxford 1990, Springer-Verlag, pp 173–192.

    Google Scholar 

  2. Duke D and Duke R. Towards a semantics for Object-Z. In: Bjomer et al (eds) VDM90, Springer-Verlag, 1990, pp 244–261 (LNCS 428).

    Google Scholar 

  3. Meyer B. Object Oriented Software Construction. Prentice Hall, Hemel Hempstead, 1988.

    Google Scholar 

  4. Wegner P. Dimensions of object-based language design. In: Meyrowitz N (ed) OOPSLA87, ACM Press, pp 168–182.

    Google Scholar 

  5. Stepney S, Barden R, Cooper D. A survey of object-orientation in Z. Software Engineering Journal, p. 150–160, March 1992.

    Google Scholar 

  6. Interactive Software Engineering Eiffel: The Libraries Version 2.3. TR-EI-7/LI October 1990.

    Google Scholar 

  7. Canning P, Cook W, Hill W, Mitchell J, Olthoff W. F-bounded polymorphism for object-oriented programming. Proceedings of Functional Programming Languages and Computer Architecture, pp 273–280, 1989.

    Google Scholar 

  8. Canning P, Cook W, Hill W, Olthoff W. Interfaces for strongly- typed object-oriented programming. In: Meyrowitz N (ed) OOPSLA89, ACM Press, pp 457–467.

    Google Scholar 

  9. Cardelli L. Amber. In Combinators and Functional Programming Languages. Springer-Verlag, 1986, pp 21–47 (LNCS 242).

    Google Scholar 

  10. Cardelli L. A semantics of multiple inheritance. Information-and Computation 76, pp 138–164, 1988.

    Article  MathSciNet  MATH  Google Scholar 

  11. Cook W. A denotational semantics of inheritance. PhD thesis, Brown University, 1989.

    Google Scholar 

  12. Cook W, Palsberg J. A denotational semantics of inheritance and its correctness. In: Meyrowitz N (ed) OOPSLA89, ACM Press, pp 433444.

    Google Scholar 

  13. Cardelli L. A semantics of multiple inheritance. In: Semantics of Data Types, Springer-Verlag, pp 51–68, 1984 (LNCS 173).

    Google Scholar 

  14. Z Base Standard Version 0.5. ZIP/PRG/92/92, March 1992.

    Google Scholar 

  15. Spivey J M. Understanding Z - a specification language and its formal semantics. Cambridge Tracts in TCS 3, CUP, 1988.

    Google Scholar 

  16. Aczel P G H. Non-well-founded Sets. CSLI Lecture Notes 14, Stanford University, 1988.

    Google Scholar 

  17. Barwise J, Etchemenedy J. The Liar: An Essay on Truth and Circular Propositions. OUP, 1987.

    Google Scholar 

  18. Wegner P, Zdonik S B. Inheritance as an Incremental Modification Mechanism. In: ECOOP 88, pp 55–77.

    Google Scholar 

  19. Maung I, Howse J R. Semantic Issues in the Model-based specification of Self-Referential Classes. Technical Report, Department of Computing, University of Brighton, in preparation, 1993.

    Google Scholar 

  20. Spivey J M. The Z Notation: A Reference Manual ( 2nd Edition ). Prentice-Hall, Hemel Hempstead, 1992.

    Google Scholar 

  21. Goldberg A, Robson D. Smalltalk-80: the Language and Its Implementation. Addison-Wesley, Reading, 1983.

    MATH  Google Scholar 

  22. Wegner P. Concepts and paradigms of object oriented programming. OOPS Messenger, 1 (1), p. 7–87, 1990.

    Article  Google Scholar 

  23. Snyder A. Encapsulation and Inheritance in Object-oriented Programming. In: Meyrowitz N (ed) OOPSLA86, ACM Press, pp 3845.

    Google Scholar 

  24. America P. A Behavioural Approach to Subtyping in Object-Oriented Languages. In: Lenzerini et al. (ed) Inheritance Hierarchies in Knowledge Representation and Programming Languages, Wiley, Chichester, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Engineering Research Group Departments of Computing and Mathematical Sciences, University of Brighton, Brighton, BN2 4GJ, UK

    I. Maung & J. R. Howse

Authors
  1. I. Maung
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. R. Howse
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Programming Research Group, Oxford University Computing Laboratory, 11 Keble Road, OX1 3QD, Oxford, UK

    J. P. Bowen MA  & J. E. Nicholls MA  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Maung, I., Howse, J.R. (1993). Introducing Hyper-Z — a New Approach to Object Orientation in Z. In: Bowen, J.P., Nicholls, J.E. (eds) Z User Workshop, London 1992. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3556-2_11

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3556-2_11

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19818-5

  • Online ISBN: 978-1-4471-3556-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation