Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti. Experience report: OCaml for an industrial-strength static analysis framework. In Graham Hutton, Andrew P. Tolmach, editors, Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009. pages 281-286, ACM, 2009. [doi]
@inproceedings{CuoqSBBCCMPP09,
title = {Experience report: OCaml for an industrial-strength static analysis framework},
author = {Pascal Cuoq and Julien Signoles and Patrick Baudin and Richard Bonichon and Géraud Canet and Loïc Correnson and Benjamin Monate and Virgile Prevosto and Armand Puccetti},
year = {2009},
doi = {10.1145/1596550.1596591},
url = {http://doi.acm.org/10.1145/1596550.1596591},
tags = {analysis, static analysis, C++, Pascal},
researchr = {https://researchr.org/publication/CuoqSBBCCMPP09},
cites = {0},
citedby = {0},
pages = {281-286},
booktitle = {Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009},
editor = {Graham Hutton and Andrew P. Tolmach},
publisher = {ACM},
isbn = {978-1-60558-332-7},
}