@inproceedings{5deba63048834bf9858c8d71a20d2db6,
title = "Experience report: OCaml for an industrial-strength static analysis framework",
abstract = "This experience report describes the choice of OCaml as the implementation language for Frama-C, a framework for the static analysis of C programs. OCaml became the implementation language for Frama-C because it is expressive. Most of the reasons listed in the remaining of this article are secondary reasons, features which are not specific to OCaml (modularity, availability of a C parser, control over the use of resources. . . ) but could have prevented the use of OCaml for this project if they had been missing.",
keywords = "Design, Languages, Verification",
author = "Pascal Cuoq and Julien Signoles and Patrick Baudin and Richard Bonichon",
year = "2009",
month = aug,
day = "31",
doi = "10.1145/1596550.1596591",
language = "English",
isbn = "9781605583327",
series = "Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP",
publisher = "Association for Computing Machinery",
pages = "281--286",
booktitle = "ICFP'09 - Proceedings of the 2009 ACM SIGPLAN International Conference on Functional Programming",
note = "14th ACM SIGPLAN International Conference on Functional Programming, ICFP 2009 ; Conference date: 31-08-2009 Through 02-09-2009",
}