PREUVES, PROGRAMMES et SYSTÈMES
Consultation
Liste des articles
Liste par année
Liste par domaine
Liste par auteurs
Rechercher
302 articles – 345 Notices
[english version]
.:.
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]