Back to Search Start Over

Experience report: OCaml for an industrial-strength static analysis framework.

Authors :
Cuoq, Pascal
Signoles, Julien
Baudin, Patrick
Bonichon, Richard
Canet, Géraud
Correnson, Loïc
Monate, Benjamin
Prevosto, Virgile
Puccetti, Armand
Source :
ACM / SIGPLAN Notices; Sep2009, Vol. 44 Issue 9, p281-286, 6p
Publication Year :
2009

Details

Language :
English
ISSN :
03621340
Volume :
44
Issue :
9
Database :
Complementary Index
Journal :
ACM / SIGPLAN Notices
Publication Type :
Academic Journal
Accession number :
139269554
Full Text :
https://doi.org/10.1145/1631687.1596591