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.

      ZML:XML support for standard Z.

      Utting, Mark; Toyn, Ian; Sun, Jing; Martin, Andrew; Dong, Jin Song; Daley, Nicholas; Currie, David
      Thumbnail
      Files
      content.pdf
      183.4Kb
      Citation
      Export citation
      Utting, M., Toyn, I., Sun, J., Martin, A., Dong, J.S., Daley, N. & Currie, D. (2002). ZML:XML support for standard Z. (Working paper series. University of Waikato, Department of Computer Science. No. 11/02/2002). Hamilton, New Zealand: University of Waikato.
      Permanent Research Commons link: https://hdl.handle.net/10289/92
      Abstract
      This paper proposes an XML format for standard Z. We describe several earlier XML proposals for Z, the problems and issues that arose, and the rationales behind our new proposal. The new proposal is based upon a comparison of various existing Z annotated syntaxes, to ensure that the mark-up will be widely usable. This XML format is expected to become a central feature of the CZT (Community Z Tools) initiative.
      Date
      2002-12-01
      Type
      Working Paper
      Collections
      • 2002 Working Papers [12]
      Show full item record  

      Usage

      Downloads, last 12 months
      90
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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