next up previous contents
Next: Bibliography Up: Data-flow analysis of an Previous: 4. Future work

5. Notes on the implementation

To choose tools for the implementation, we followed these criteria:

We chose to use standard tools, that have a good diffusion and that have been used for real applications, in order to increase the diffusion of our program, its growth, its understanding. We chose the ObjectCaml v2.02 programming language, developed at INRIA (France), with the tools, offered with it, for syntactical and lexical analysis, ocamlyacc and ocamllex (that are similar to the more famous GNU yacc and lex). This allowed quick development and high compatibility.

We love to say that all the used tools are available, freely, at the web site www.inria.fr.



Diego
2000-05-17