{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:08Z","timestamp":1772163968709,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":13,"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.1596582","type":"proceedings-article","created":{"date-parts":[[2009,9,1]],"date-time":"2009-09-01T13:53:09Z","timestamp":1251813189000},"page":"215-220","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Experience report"],"prefix":"10.1145","author":[{"given":"Bruno","family":"Pagano","sequence":"first","affiliation":[{"name":"Esterel Technologies, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Andrieu","sequence":"additional","affiliation":[{"name":"Esterel Technologies, Elancourt, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Moniot","sequence":"additional","affiliation":[{"name":"Esterel Technologies, Elancourt, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin","family":"Canou","sequence":"additional","affiliation":[{"name":"LIP6 - Universite UPMC, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emmanuel","family":"Chailloux","sequence":"additional","affiliation":[{"name":"LIP6 - Universite UPMC, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Wang","sequence":"additional","affiliation":[{"name":"LIP6 - Universite UPMC, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Manoury","sequence":"additional","affiliation":[{"name":"PPS - Universite UPMC, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Louis","family":"Cola\u00e7o","sequence":"additional","affiliation":[{"name":"Prover Technologies S.A.S, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,8,31]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Esterel-Technologies","author":"Berry G\u00e9rard","year":"2003","unstructured":"G\u00e9rard Berry . The Effectiveness of Synchronous Languages for the Development of Safety-Critical Systems. Technical report , Esterel-Technologies , 2003 . G\u00e9rard Berry. The Effectiveness of Synchronous Languages for the Development of Safety-Critical Systems. Technical report, Esterel-Technologies, 2003."},{"key":"e_1_3_2_2_2_1","volume-title":"Esterel-Technologies","author":"Camus Jean-Louis","year":"2003","unstructured":"Jean-Louis Camus and Bernard Dion . Efficient Development of Airborne Software with SCADE Suite TM. Technical report , Esterel-Technologies , 2003 . Jean-Louis Camus and Bernard Dion. Efficient Development of Airborne Software with SCADE Suite TM. Technical report, Esterel-Technologies, 2003."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45212-6_10"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086261"},{"key":"e_1_3_2_2_5_1","volume-title":"European Symposium on Programming. LNCS","author":"Cousot P.","year":"2005","unstructured":"P. Cousot , R. Cousot , J. Feret , L. Mauborgne , A. Min\u00e9 , D. Monniaux , and X. Rival . The astr\u00e9e analyser . In European Symposium on Programming. LNCS , April 2005 . P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Min\u00e9, D. Monniaux, and X. Rival. The astr\u00e9e analyser. In European Symposium on Programming. LNCS, April 2005."},{"key":"e_1_3_2_2_6_1","volume-title":"Eiffel analysis, design and programming language","year":"2005","unstructured":"ECMA-367 : Eiffel analysis, design and programming language . ECMA (European Association for Standardizing Information and Communication Systems) , pub-ECMA:adr, June 2005 . ECMA-367: Eiffel analysis, design and programming language. ECMA (European Association for Standardizing Information and Communication Systems), pub-ECMA:adr, June 2005."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_2_8_1","volume-title":"NASA\/TM-2001-210876","author":"Hayhurst Kelly J.","year":"2001","unstructured":"Kelly J. Hayhurst , Dan S. Veerhusen , John J. Chilenski , and Leanna K. Rierson . A Practical Tutorial on Modified Condition\/Decision Coverage. Technical report , NASA\/TM-2001-210876 , May 2001 . Kelly J. Hayhurst, Dan S. Veerhusen, John J. Chilenski, and Leanna K. Rierson. A Practical Tutorial on Modified Condition\/Decision Coverage. Technical report, NASA\/TM-2001-210876, May 2001."},{"key":"e_1_3_2_2_9_1","volume-title":"INRIA","author":"Leroy Xavier","year":"2008","unstructured":"Xavier Leroy , Damien Doligez , Jacques Garrigue , Didier R\u00e9my , and J\u00e9r\u00f4me Vouillon . The Objective Caml system, documentation and user's manual - release 3.11 . INRIA , December 2008 . URL http:\/\/caml.inria.fr\/pub\/docs\/manual-ocaml\/. Xavier Leroy, Damien Doligez, Jacques Garrigue, Didier R\u00e9my, and J\u00e9r\u00f4me Vouillon. The Objective Caml system, documentation and user's manual - release 3.11. INRIA, December 2008. URL http:\/\/caml.inria.fr\/pub\/docs\/manual-ocaml\/."},{"key":"e_1_3_2_2_10_1","series-title":"Lecture Notes in Computer Science","first-page":"2","volume-title":"Tenth International Symposium on Practical Aspects of Declarative Languages (PADL)","author":"Pagano Bruno","year":"2008","unstructured":"Bruno Pagano , Olivier Andrieu , Benjamin Canou , Emmanuel Chailloux , Jean-Louis Cola\u00e7o , Thomas Moniot , and Philippe Wang . Certified development tools implementation in objective caml . In Paul Hudak and David Scott Warren, editors, Tenth International Symposium on Practical Aspects of Declarative Languages (PADL) , volume 4902 of Lecture Notes in Computer Science , pages 2 -- 17 . Springer , 2008 . Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Cola\u00e7o, Thomas Moniot, and Philippe Wang. Certified development tools implementation in objective caml. In Paul Hudak and David Scott Warren, editors, Tenth International Symposium on Practical Aspects of Declarative Languages (PADL), volume 4902 of Lecture Notes in Computer Science, pages 2--17. Springer, 2008."},{"key":"e_1_3_2_2_11_1","volume-title":"Lucid Synchrone version 3.0 : Tutorial and Reference Manual","author":"Pouzet Marc","year":"2006","unstructured":"Marc Pouzet . Lucid Synchrone version 3.0 : Tutorial and Reference Manual , 2006 . (www.lri.fr\/%7Epouzet\/lucid-synchrone). Marc Pouzet. Lucid Synchrone version 3.0 : Tutorial and Reference Manual, 2006. (www.lri.fr\/%7Epouzet\/lucid-synchrone)."},{"key":"e_1_3_2_2_12_1","volume-title":"The Coq Proof Assistant Reference Manual","author":"Development Team LogiCal The Coq","year":"2006","unstructured":"The Coq Development Team LogiCal Project. The Coq Proof Assistant Reference Manual , 2006 . (coq.inria.fr\/V8.1beta\/refman). The Coq Development Team LogiCal Project. The Coq Proof Assistant Reference Manual, 2006. (coq.inria.fr\/V8.1beta\/refman)."},{"key":"e_1_3_2_2_13_1","first-page":"31","volume-title":"Radio Technical Commission for Aeronautics RTCA","author":"B.","year":"1992","unstructured":"RTCA\/DO-178 B. Software Considerations in Airborne Systems and Equipment Certification . Radio Technical Commission for Aeronautics RTCA , pages 31 ,74, December 1992 . RTCA\/DO-178B. Software Considerations in Airborne Systems and Equipment Certification. Radio Technical Commission for Aeronautics RTCA, pages 31,74, December 1992."}],"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.1596582","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1596550.1596582","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.1596582"}},"subtitle":["using objective caml to develop safety-critical embedded tools in a certification framework"],"short-title":[],"issued":{"date-parts":[[2009,8,31]]},"references-count":13,"alternative-id":["10.1145\/1596550.1596582","10.1145\/1596550"],"URL":"https:\/\/doi.org\/10.1145\/1596550.1596582","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1631687.1596582","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"}}]}}