00:00
1149
Experience Report: Using Ob jective Caml to Develop Safety-Critical Embedded Tools in a Certification Framework
Bruno Pagano , Olivier Andrieu , Thomas Moniot , Benjamin Canou , Emmanuel Chailloux , Philippe Wang , Pascal Manoury , Jean-Louis Colaço ; EsterelTechnologies, LIP6-PPS-UPMC, LIP6 - UPMC, PPS - UPMC, Prover Technology S.A.S
International Conference on Functional Programming (ICFP)
Edinburgh 2009
ACM SIGPLAN