Global Semantic Analysis on OCaml programs

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [2 references]  Display  Hide  Download

https://hal.inria.fr/hal-01413319
Contributor : Michel Mauny <>
Submitted on : Friday, December 9, 2016 - 4:06:58 PM
Last modification on : Wednesday, July 3, 2019 - 10:48:05 AM

File

OCaml_2015_submission_3.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01413319, version 1

Citation

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⟩

Share

Metrics

Record views

205

Files downloads

73