Next:
Contents
Data-flow analysis of an imperative language
Roberto Raggi, Diego Puppin
Università di Pisa
Computer Science Department
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
