JFLA

Publications

2014

Louis Mandel, Adrien Guatto
Réseaux de Kahn à rafales et horloges entières. JFLA (2014)
Sylvain Conchon, David Declerck, Luc Maranget, Alain Mebsout
Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières. JFLA (2014)
Damien Pous, Alan Schmitt
De la KAM avec un Processus d'Ordre Supe'rieur. JFLA (2014)
Adrien Husson
Une sémantique statique pour MongoDB. JFLA (2014)
Bernard P. Serpette, Pascal Manoury, Emmanuel Chailloux
Unification des couleurs dans un λ-calcul polychrome. JFLA (2014)
Yoichi Hirai, Reynald Affeldt
What could Coq do for Database Software? - A Progress Report. JFLA (2014)
Marc Bagnol, Amina Doumane, Alexis Saurin
Analyse de dépendances et correction des réseaux de preuve. JFLA (2014)
Pierre-Marie Pédrot, Amina Doumane, Alexis Saurin
Nécessité faite loi : de la réduction linéaire de tête à l'évaluation paresseuse. JFLA (2014)
25. Journées francophones des langages applicatifs, Fréjus, France, January 8-11, 2014. JFLA (2014)
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous
Formal verification in Coq of program properties involving the global state effect. JFLA (2014)
Louis Mandel, Cédric Pasteur
Exécution efficace de programmes ReactiveML. JFLA (2014)
Julien Signoles
Comment un chameau peut-il écrire un journal ? JFLA (2014)
Martin Bodin, Thomas P. Jensen, Alan Schmitt
Pretty-big-step-semantics-based Certified Abstract Interpretation. JFLA (2014)