Next:
1. Introduction
Up:
Dataflow analysis with MURZ:
Previous:
Dataflow analysis with MURZ:
Contents
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
8.1 Changes in
main.ml
8.2 Changes in
Makefile
8.3 Compiling
9.
MURZ
data types
10. Further information
Diego
2000-05-16
