Application of classical compilation techniques for syntactic and semantic analysis of specification written in Object Z

Fethi Fkih, Kais Haddar

Building a parser for a formal specification language such as Object Z is not an easy task. Indeed, it requires a double competence both in the compilation field than in the field…