{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T15:03:45Z","timestamp":1775055825349,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,8,31]],"date-time":"2009-08-31T00:00:00Z","timestamp":1251676800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,8,31]]},"DOI":"10.1145\/1596550.1596591","type":"proceedings-article","created":{"date-parts":[[2009,9,1]],"date-time":"2009-09-01T13:53:09Z","timestamp":1251813189000},"page":"281-286","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["Experience report"],"prefix":"10.1145","author":[{"given":"Pascal","family":"Cuoq","sequence":"first","affiliation":[{"name":"Commissariat \u00e0 l'Energie Atomique, Saclay, France"}]},{"given":"Julien","family":"Signoles","sequence":"additional","affiliation":[{"name":"Commissariat \u00e0 l'Energie Atomique, Saclay, France"}]},{"given":"Patrick","family":"Baudin","sequence":"additional","affiliation":[{"name":"Commissariat \u00e0 l'Energie Atomique, Saclay, France"}]},{"given":"Richard","family":"Bonichon","sequence":"additional","affiliation":[{"name":"Commissariat \u00e0 l'Energie Atomique, Saclay, France"}]},{"given":"G\u00e9raud","family":"Canet","sequence":"additional","affiliation":[{"name":"Commissariat \u00e0 l'Energie Atomique, Saclay, France"}]},{"given":"Lo\u00efc","family":"Correnson","sequence":"additional","affiliation":[{"name":"Commissariat \u00e0 l'Energie Atomique, Saclay, France"}]},{"given":"Benjamin","family":"Monate","sequence":"additional","affiliation":[{"name":"Commissariat \u00e0 l'Energie Atomique, Saclay, France"}]},{"given":"Virgile","family":"Prevosto","sequence":"additional","affiliation":[{"name":"Commissariat \u00e0 l'Energie Atomique, Saclay, France"}]},{"given":"Armand","family":"Puccetti","sequence":"additional","affiliation":[{"name":"Commissariat \u00e0 l'Energie Atomique, Saclay, France"}]}],"member":"320","published-online":{"date-parts":[[2009,8,31]]},"reference":[{"key":"e_1_3_2_2_1_1","first-page":"537","volume-title":"Caveat: a tool for software validation. In phDependable Systems and Networks","author":"Baudin Patrick","year":"2002","unstructured":"Patrick Baudin , Anne Pacalet , Jacques Raguideau , Dominique Schoen , and Nicky Williams . Caveat: a tool for software validation. In phDependable Systems and Networks , 2002 , pages 537 , 2002. Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen, and Nicky Williams. Caveat: a tool for software validation. In phDependable Systems and Networks, 2002, pages 537 , 2002."},{"key":"e_1_3_2_2_2_1","volume-title":"October","author":"Baudin Patrick","year":"2008","unstructured":"Patrick Baudin , Jean-Christophe Filli\u00e2tre , Thierry Hubert , Claude March\u00e9 , Benjamin Monate , Yannick Moy , and Virgile Prevosto . phACSL: ANSI C Specification Language (preliminary design V1.4), preliminary edition , October 2008 . URL http:\/\/frama-c.cea.fr\/acsl.html. Patrick Baudin, Jean-Christophe Filli\u00e2tre, Thierry Hubert, Claude March\u00e9, Benjamin Monate, Yannick Moy, and Virgile Prevosto. phACSL: ANSI C Specification Language (preliminary design V1.4), preliminary edition, October 2008. URL http:\/\/frama-c.cea.fr\/acsl.html."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2009.22"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1292535.1292541"},{"key":"e_1_3_2_2_5_1","series-title":"phTrends in Functional Programming","first-page":"124","volume-title":"Trends in Functional Programming","author":"Conchon Sylvain","year":"2008","unstructured":"Sylvain Conchon , Jean-- Christophe Filli\u00e2tre , and Julien Signoles . Designing a generic graph library using ML functors . In Marco T. Moraz\u00e1n, editor, Trends in Functional Programming , volume 8 of phTrends in Functional Programming , pages 124 -- 140 . Intellect, UK\/The University of Chicago Press , USA, 2008 . ISBN 978-1-84150-196-3. Sylvain Conchon, Jean--Christophe Filli\u00e2tre, and Julien Signoles. Designing a generic graph library using ML functors. In Marco T. Moraz\u00e1n, editor, Trends in Functional Programming, volume 8 of phTrends in Functional Programming, pages 124--140. Intellect, UK\/The University of Chicago Press, USA, 2008. ISBN 978-1-84150-196-3."},{"key":"e_1_3_2_2_6_1","volume-title":"Documentation of Frama-C's value analysis plug-in","author":"Cuoq Pascal","year":"2008","unstructured":"Pascal Cuoq . Documentation of Frama-C's value analysis plug-in , 2008 . URL http:\/\/frama-c.cea.fr\/download\/frama-c-manual-Lithium-en.pdf. Pascal Cuoq. Documentation of Frama-C's value analysis plug-in, 2008. URL http:\/\/frama-c.cea.fr\/download\/frama-c-manual-Lithium-en.pdf."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411304.1411308"},{"key":"e_1_3_2_2_8_1","volume-title":"Proving temporal properties at code level for basic operators of control\/command programs. In ph4th European Congress on Embedded Real Time Software","author":"Delmas David","year":"2008","unstructured":"David Delmas , St\u00e9phane Duprat , Patrick Baudin , and Benjamin Monate . Proving temporal properties at code level for basic operators of control\/command programs. In ph4th European Congress on Embedded Real Time Software , 2008 . David Delmas, St\u00e9phane Duprat, Patrick Baudin, and Benjamin Monate. Proving temporal properties at code level for basic operators of control\/command programs. In ph4th European Congress on Embedded Real Time Software, 2008."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159876.1159880"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001933"},{"key":"e_1_3_2_2_11_1","volume-title":"The Monad. Reader","author":"Minsky Yaron","year":"2007","unstructured":"Yaron Minsky . Caml trading : Experiences in functional programming on Wall Street. In Wouter Swierstra, editor , The Monad. Reader , April 2007 . Yaron Minsky. Caml trading: Experiences in functional programming on Wall Street. In Wouter Swierstra, editor, The Monad. Reader, April 2007."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68979-9_10"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411203.1411252"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/647478.727796"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/647545.730777"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/641909.641910"},{"key":"e_1_3_2_2_17_1","volume-title":"Plug-in development guide","author":"Signoles Julien","year":"2008","unstructured":"Julien Signoles . Plug-in development guide , 2008 . URL http:\/\/frama-c.cea.fr\/download\/plug-in_development_guide.pdf. Julien Signoles. Plug-in development guide, 2008. URL http:\/\/frama-c.cea.fr\/download\/plug-in_development_guide.pdf."},{"key":"e_1_3_2_2_18_1","first-page":"37","volume-title":"Actes des Journ\u00e9es Francophones des Langages Applicatifs","author":"Signoles Julien","year":"2009","unstructured":"Julien Signoles . Foncteurs imp\u00e9ratifs et compos\u00e9s: la notion de projets dans Frama-C . In Actes des Journ\u00e9es Francophones des Langages Applicatifs , pages 37 -- 54 , January 2009 . In French. Julien Signoles. Foncteurs imp\u00e9ratifs et compos\u00e9s: la notion de projets dans Frama-C. In Actes des Journ\u00e9es Francophones des Langages Applicatifs, pages 37--54, January 2009. In French."}],"event":{"name":"ICFP '09: ACM SIGPLAN International Conference on Functional Programming","location":"Edinburgh Scotland","acronym":"ICFP '09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 14th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596550.1596591","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1596550.1596591","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:23:28Z","timestamp":1750235008000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596550.1596591"}},"subtitle":["OCaml for an industrial-strength static analysis framework"],"short-title":[],"issued":{"date-parts":[[2009,8,31]]},"references-count":18,"alternative-id":["10.1145\/1596550.1596591","10.1145\/1596550"],"URL":"https:\/\/doi.org\/10.1145\/1596550.1596591","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1631687.1596591","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,8,31]]},"assertion":[{"value":"2009-08-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}