Table of Contents

Foreword<br>Introduction<br>1 Scope<br>2 Normative references<br>3 Terms and definitions<br>4 Metalanguages<br>5 Conformance<br>6 Z characters<br>7 Lexis<br>8 Concrete syntax<br>9 Characterisation rules<br>10 Annotated syntax<br>11 Prelude<br>12 Syntactic transformation rules<br>13 Type inference rules<br>14 Semantic transformation rules<br>15 Semantic relations<br>Annex A (normative) - Mark-ups<br>Annex B (normative) - Mathematical toolkit<br>Annex C (normative) - Organisation by concrete syntax <br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;production<br>Annex D (informative) - Tutorial<br>Annex E (informative) - Conventions for state-based <br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;descriptions<br>Bibliography<br>Index

Abstract

Defines: - the syntax of the Z notation; - the type system of the Z notation; - the semantics of the Z notation; - a toolkit of widely used mathematical operators; - LATEX [10] and e-mail mark-ups of the Z notation.

General Product Information

Published
Document Type	Standard
Status	Current
Publisher	Canadian Standards Association
ProductNote	Reconfirmed EN
Pages
ISBN