Next: Contents

Dataflow analysis with `MURZ`: tutorial

Roberto Raggi, Diego Puppin
Università di Pisa, Italy
Computer Science Department
Advanced Compilation Techniques

Contents
1. Introduction
2. How to use modules with ocaml
3. MURZ support modules
4. Analysis support definition
5. Definition of meet and trasf functions
6. Pretty-printing function
7. Definition of the analysis from the support
8. Inserting the new analysis into MURZ
9. MURZ data types
10. Further information

Diego
2000-05-16