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. |
Year | Venue | Keywords |
---|---|---|
2003 | ZB | community z tools,xml format,various existing z,xml proposal,central feature,annotated syntax,new proposal,xml support,standard z.,user interface,working paper |
DocType | Volume | ISSN |
Conference | 2651 | 0302-9743 |
ISBN | Citations | PageRank |
3-540-40253-5 | 12 | 1.15 |
References | Authors | |
5 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mark Utting | 1 | 414 | 21.41 |
Ian Toyn | 2 | 170 | 22.66 |
Jing Sun | 3 | 226 | 30.94 |
Andrew Martin | 4 | 457 | 43.47 |
Jin Song Dong | 5 | 1369 | 107.12 |
Nicholas Daley | 6 | 12 | 1.15 |
David Currie | 7 | 12 | 1.15 |