Global Semantic Analysis on OCaml programs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

Global Semantic Analysis on OCaml programs


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.
Fichier principal
Vignette du fichier
OCaml_2015_submission_3.pdf (137.82 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01413319 , version 1 (09-12-2016)


  • HAL Id : hal-01413319 , version 1


Thomas Blanc, Pierre Chambart, Michel Mauny, Fabrice Le Fessant. Global Semantic Analysis on OCaml programs. OCaml 2015 - The OCaml Users and Developers Workshop, Sep 2015, Vancouver, Canada. ⟨hal-01413319⟩
129 View
95 Download


Gmail Facebook X LinkedIn More