Global Semantic Analysis on OCaml programs - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

Global Semantic Analysis on OCaml programs

(1, 2) , (1) , (2) , (1, 3)
1
2
3

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.
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)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01413319 , version 1

Cite

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⟩
115 View
87 Download

Share

Gmail Facebook Twitter LinkedIn More