This report presents a concrete grammar for the formal software specification language Z, based on the BNF-like syntax description in the widely used Z Reference Manual. It has been used as a starting point for several projects associated with Z. The grammar is written in the format required for the public domain compiler-compiler PRECC. It has also been used as a basis for grammars aimed at other compiler-compilers, including yacc and PCCTS. An importantgoal in publishing it here is to makeaworking concrete grammar for Z publicly available and thus to promote the production of Z-based utilities. Another intention of this report is to report on the use of what is itself a high-level formal specification language with a formally defined parser semantics: PRECC. It is used here to define a human-readable language, namely Z, that has an ambiguous and context-sensitivesyntax, and we also report on engineering aspects of the work
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.