Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 2002 Working Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 2002 Working Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Object orientation without extending Z

      Utting, Mark; Wang, Shaochun
      Thumbnail
      Files
      content.pdf
      204.8Kb
      Citation
      Export citation
      Utting, M. & Wang, S. (2002). Object orientation without extending Z. (Working paper series. University of Waikato, Department of Computer Science. No. 12/02/2002). Hamilton, New Zealand: University of Waikato.
      Permanent Research Commons link: https://hdl.handle.net/10289/71
      Abstract
      The good news of this paper is that without extending Z,

      we can elegantly specify object-oriented systems, including encapsulation,

      inheritance and subtype polymorphism (dynamic dispatch). The

      bad news is that this specification style is rather different to normal

      Z specifications, more abstract and axiomatic, which means that it is

      not so well supported by current Z tools such as animators. It also enforces

      behavioural subtyping, unlike most object-oriented programming

      languages. This paper explains the proposed style, with examples, and

      discusses its advantages and disadvantages.
      Date
      2002-12-01
      Type
      Working Paper
      Publisher
      Springer-Verlag
      Collections
      • 2002 Working Papers [12]
      Show full item record  

      Usage

      Downloads, last 12 months
      76
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement