ZML: XML Support for Standard Z

ZML: XML Support for Standard Z

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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Utting, Mark, Toyn, Ian, Sun, Jing, Martin, Andrew, Dong, Jin Song, Daley, Nicholas, Currie, David
Format: Buchkapitel
Sprache:eng
Schlagworte:
Applied sciences
Boolean Attribute
Computer science
control theory
systems
Concrete Syntax
Exact sciences and technology
Language theory and syntactical analysis
Operator Template
Schema Text
Software
Syntactic Transformation
Theoretical computing
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0302-9743
1611-3349
DOI:10.1007/3-540-44880-2_26