Skip to main content
Article thumbnail
Location of Repository

A concrete Z grammar

By Peter T. Breuer and Jonathan P. Bowen


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

Year: 1995
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.