Portal de Periódicos da CAPES

Experience report

2009; Association for Computing Machinery; Volume: 44; Issue: 9 Linguagem: Inglês

10.1145/1631687.1596591

1558-1160

Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prévosto, Armand Puccetti,

Parallel Computing and Optimization Techniques

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.