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.
Type de document :
Communication dans un congrès
OCaml 2015 - The OCaml Users and Developers Workshop, Sep 2015, Vancouver, Canada. 2015, OCaml 2015 - The OCaml Users and Developers Workshop
Liste complète des métadonnées

Littérature citée [2 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01413319
Contributeur : Michel Mauny <>
Soumis le : vendredi 9 décembre 2016 - 16:06:58
Dernière modification le : jeudi 16 novembre 2017 - 17:12:03

Fichier

OCaml_2015_submission_3.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. 2015, OCaml 2015 - The OCaml Users and Developers Workshop. 〈hal-01413319〉

Partager

Métriques

Consultations de la notice

101

Téléchargements de fichiers

37