Contents

• Contents
• 1. Introduction
• 2. The MURZ language
  • 2.1 Introduction
  • 2.2 Syntax
  • 2.3 Semantics
  • 2.4 Abstract syntax tree
  • 2.5 Parsing
• 3. Data-flow analysis
  • 3.1 Introduction
  • 3.2 Building the control-flow graph (CFG)
  • 3.3 The iterative worklist algorithm
  • 3.4 Analyses implemented
• 4. Future work
• 5. Notes on the implementation
• Bibliography