Publication:
ZML:XML support for standard Z.

Simple item page
dc.contributor.authorUtting, Marken_US
dc.contributor.authorToyn, Ianen_US
dc.contributor.authorSun, Jingen_US
dc.contributor.authorMartin, Andrewen_US
dc.contributor.authorDong, Jin Songen_US
dc.contributor.authorDaley, Nicholasen_US
dc.contributor.authorCurrie, Daviden_US
dc.date.accessioned2008-03-19T04:58:28Z
dc.date.available2007-07-22en_US
dc.date.available2008-03-19T04:58:28Z
dc.date.issued2002-12-01en_US
dc.description.abstractThis 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.en_US
dc.format.mimetypeapplication/pdf
dc.identifier.citationUtting, 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.en_US
dc.identifier.urihttps://hdl.handle.net/10289/92
dc.language.isoen
dc.titleZML:XML support for standard Z.en_US
dc.typeWorking Paperen_US
dspace.entity.typePublication

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
content.pdf
Size:
183.46 KB
Format:
Adobe Portable Document Format
Download

Collections

2002 Working Papers