Conferences in DBLP

(jfla)
2009 (conf/jfla/2009)

1. 
   Qui sème la fonction, récolte le tuyau typé. [Citation Graph (, )][DBLP]
   
   
2. 
   Foncteurs impératifs et composés: la notion de projets dans Frama-C. [Citation Graph (, )][DBLP]
   
   
3. 
   Vers une programmation fonctionnelle en appel par valeur sur systèmes multi-coeurs : évaluation asynchrone et ramasse-miettes parallèle. [Citation Graph (, )][DBLP]
   
   
4. 
   Vérification d'invariants pour des systèmes spécifiés en logique de réécriture. [Citation Graph (, )][DBLP]
   
   
5. 
   Un modèle de l'assistant à la preuve: PAF! [Citation Graph (, )][DBLP]
   
   
6. 
   Extraction certifiée dans Coq-en-Coq. [Citation Graph (, )][DBLP]
   
   
7. 
   Abstraction d'horloges dans les systèmes synchrones flot de données. [Citation Graph (, )][DBLP]
   
   
8. 
   Fouille au code OCaml par analyse de dépendances. [Citation Graph (, )][DBLP]
   
   
9. 
   Faire bonne figure avec Mlpost. [Citation Graph (, )][DBLP]