JFLA 2009: Saint Quentin sur Isère, France

Alan Schmitt (Ed.): JFLA 2009, Vingtièmes Journées Francophones des Langages Applicatifs, Saint Quentin sur Isère, France, January 31 - February 3, 2009. Proceedings. Studia Informatica Universalis 7.2 2009, ISBN 978-2-7056-6917-1

Didier Parigot, Bernard P. Serpette: Qui sème la fonction, récolte le tuyau typé. 225-244
Julien Signoles: Foncteurs impératifs et composés: la notion de projets dans Frama-C. 245-280
Luca Saiu: Vers une programmation fonctionnelle en appel par valeur sur systèmes multi-coeurs : évaluation asynchrone et ramasse-miettes parallèle. 281-316
Vlad Rusu, Manuel Clavel: Vérification d'invariants pour des systèmes spécifiés en logique de réécriture. 317-350
Séverine Maingaud: Un modèle de l'assistant à la preuve: PAF! 351-382
Stéphane Glondu: Extraction certifiée dans Coq-en-Coq. 383-410
Louis Mandel, Florence Plateau: Abstraction d'horloges dans les systèmes synchrones flot de données. 411-444
Maxence Guesdon: Fouille au code OCaml par analyse de dépendances. 445-476
Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer: Faire bonne figure avec Mlpost. 477-507