Travelled to:1 × United Kingdom
Collaborated with:P.Cuoq J.Signoles P.Baudin R.Bonichon G.Canet L.Correnson B.Monate V.Prevosto
Talks about:framework (1) strength (1) industri (1) analysi (1) static (1) report (1) experi (1) caml (1)
Person: Armand Puccetti
DBLP: Puccetti:Armand
Contributed to:
2009Wrote 1 papers:
- ICFP-2009-CuoqSBBCCMPP #case study #experience #framework #ml #static analysis
- Experience report: OCaml for an industrial-strength static analysis framework (PC, JS, PB, RB, GC, LC, BM, VP, AP), pp. 281–286.