Next:
1. Introduction
Up:
Data-flow analysis of an
Previous:
Data-flow analysis of an
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
Diego
2000-05-17