.:. Consultation > Liste par auteurs > Andrieu .:.

2 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

Experience Report: Using Objective Caml to develop safety-critical embedded tool in a certificaiton framework Pagano B., Andrieu O., Moniot T., Canou B., Chailloux E., Wang P., Manoury P., Colaço J.-L. Dans International Conference of Functional Programming ICFP 09 - International Conference of Functional Programming ICFP 09, Royaume-Uni (2009) [hal-00396371 - version 1]

Certified development tools implementation in objective caml. Pagano B., Andrieu O., Canou B., Chailloux E., Colaço J.-L., Moniot T., Wang P. Dans International Symposium on Practical Aspects of Declarative Languages PADL 08 - International Symposium on Practical Aspects of Declarative Languages PADL 08, États-Unis (2008) [hal-00319700 - version 1]