ZML:XML support for standard Z.

Utting, Mark; Toyn, Ian; Sun, Jing; Martin, Andrew; Dong, Jin Song; Daley, Nicholas; Currie, David

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]