![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
25. JFLA 2014: Fréjus, France
- Christine Tasson, David Baelde:
25. Journées francophones des langages applicatifs, Fréjus, France, January 8-11, 2014. 2014
Logic
- Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous:
Formal verification in Coq of program properties involving the global state effect. JFLA 2014: 1-16 - Sylvain Conchon, David Declerck, Luc Maranget, Alain Mebsout:
Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières. JFLA 2014: 17-32 - Yoichi Hirai, Reynald Affeldt:
What could Coq do for Database Software? - A Progress Report. JFLA 2014: 33-48 - Louis Mandel, Cédric Pasteur:
Exécution efficace de programmes ReactiveML. JFLA 2014: 49-64 - Bernard P. Serpette, Pascal Manoury, Emmanuel Chailloux:
Unification des couleurs dans un λ-calcul polychrome. JFLA 2014: 65-76 - Adrien Husson:
Une sémantique statique pour MongoDB. JFLA 2014: 77-92 - Louis Mandel, Adrien Guatto:
Réseaux de Kahn à rafales et horloges entières. JFLA 2014: 93-108 - Martin Bodin, Thomas P. Jensen, Alan Schmitt:
Pretty-big-step-semantics-based Certified Abstract Interpretation. JFLA 2014: 109-130 - Julien Signoles:
Comment un chameau peut-il écrire un journal ? JFLA 2014: 131-148 - Damien Pous, Alan Schmitt:
De la KAM avec un Processus d'Ordre Supe'rieur. JFLA 2014: 149-158 - Marc Bagnol, Amina Doumane, Alexis Saurin:
Analyse de dépendances et correction des réseaux de preuve. JFLA 2014: 159-174 - 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: 175-189
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.