@article{Cuoq:2009:ERO:1631687.1596591,
    Address = {New York, NY, USA},
    Author = {Cuoq, Pascal and Signoles, Julien and Baudin, Patrick and Bonichon, Richard and Canet, G{\'e}raud and Correnson, Lo\"{\i}c and Monate, Benjamin and Prevosto, Virgile and Puccetti, Armand},
    ISSN = {0362-1340},
    Journal = {SIGPLAN Not.},
    Keywords = {OCaml, plug-ins, software architecture, static analysis},
    Month = {August},
    Number = {9},
    Pages = {281--286},
    Publisher = {ACM},
    Title = {Experience report: OCaml for an industrial-strength static analysis framework},
    URL = {http://doi.acm.org/10.1145/1631687.1596591},
    Volume = {44},
    Year = {2009},
    acmid = {1596591},
    bdsk-url-1 = {http://doi.acm.org/10.1145/1631687.1596591},
    bdsk-url-2 = {http://dx.doi.org/10.1145/1631687.1596591},
    date-added = {2012-05-12 22:03:23 +0200},
    date-modified = {2012-05-12 20:03:23 +0000},
    issue_date = {September 2009},
    numpages = {6},
    doi = {10.1145/1631687.1596591}
}

@article{Cuoq:2009:ERO:1631687.1596591, Address = {New York, NY, USA}, Author = {Cuoq, Pascal and Signoles, Julien and Baudin, Patrick and Bonichon, Richard and Canet, G{\'e}raud and Correnson, Lo\"{\i}c and Monate, Benjamin and Prevosto, Virgile and Puccetti, Armand}, ISSN = {0362-1340}, Journal = {SIGPLAN Not.}, Keywords = {OCaml, plug-ins, software architecture, static analysis}, Month = {August}, Number = {9}, Pages = {281--286}, Publisher = {ACM}, Title = {Experience report: OCaml for an industrial-strength static analysis framework}, URL = {http://doi.acm.org/10.1145/1631687.1596591}, Volume = {44}, Year = {2009}, acmid = {1596591}, bdsk-url-1 = {http://doi.acm.org/10.1145/1631687.1596591}, bdsk-url-2 = {http://dx.doi.org/10.1145/1631687.1596591}, date-added = {2012-05-12 22:03:23 +0200}, date-modified = {2012-05-12 20:03:23 +0000}, issue_date = {September 2009}, numpages = {6}, doi = {10.1145/1631687.1596591} }