The Z notation: a reference manual
The Z notation: a reference manual
LATEX (2nd ed.): a document preparation system: user's guide and reference manual
LATEX (2nd ed.): a document preparation system: user's guide and reference manual
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Innovations in the Notation of Standard Z
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
Visualizing Z Notation in HTML Documents
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
On Mutually Recursive Free Types in Z
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
| Hi-index | 0.00 |
The mathematical symbols in Z have caused problems for users and tool builders in the past--precisely what is allowed? ISO Standard Z answers this question. This paper considers the Z notation at the level of the individual characters that make up a specification. For Z authors: it reviews the internationalisation of Z, discusses what characters can be used in forming names, and summarises the changes made to LATEX mark-up in ISO Standard Z. For Z tool builders: it explains the sequence of processing that is prerequisite to the lexing of a Standard Z specification, and considers in detail the processing of LATEX mark-up.