Global Semantic Analysis on OCaml programs
Résumé
We present an ongoing project at OCamlPro, the development of a semantic analyser of OCaml code based on abstract interpretation techniques. This analysis relies on the presence of the whole program at compile time, it should work on full actual programs and shows interesting promises in terms of uncaught exceptions detection.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...