Flow Caml
A prototype implementation of an information flow analyzer for the Caml language.
[ Homepage ]
| Author: | Vincent Simonet. |
| Last modification date: | 03-Jul-2003 |
| Version: | 1.03 |
| Development status: | Beta |
| Kind: | Applications written in Caml :: Scientific software |
| License: | Open Source :: QPL |
| Topic: | Science :: Typing |
| Programming languages :: Program analysis | |
| Homepage: | http://cristal.inria.fr/~simonet/soft/flowcaml/ |