25. JFLA 2014: Fréjus, France

> Home > Conferences and Workshops > JFLA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/2014
Christine Tasson, David Baelde:
25. Journées francophones des langages applicatifs, Fréjus, France, January 8-11, 2014. 2014

Logic

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/DumasDEP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/DumasDEP14
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
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/ConchonDMM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/ConchonDMM14
Sylvain Conchon, David Declerck, Luc Maranget, Alain Mebsout:
Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières. JFLA 2014: 17-32
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/HiraiA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/HiraiA14
Yoichi Hirai, Reynald Affeldt:
What could Coq do for Database Software? - A Progress Report. JFLA 2014: 33-48
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/MandelP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/MandelP14
Louis Mandel, Cédric Pasteur:
Exécution efficace de programmes ReactiveML. JFLA 2014: 49-64
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/SerpetteMC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/SerpetteMC14
Bernard P. Serpette, Pascal Manoury, Emmanuel Chailloux:
Unification des couleurs dans un λ-calcul polychrome. JFLA 2014: 65-76
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/Husson14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/Husson14
Adrien Husson:
Une sémantique statique pour MongoDB. JFLA 2014: 77-92
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/MandelG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/MandelG14
Louis Mandel, Adrien Guatto:
Réseaux de Kahn à rafales et horloges entières. JFLA 2014: 93-108
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/BodinJS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/BodinJS14
Martin Bodin, Thomas P. Jensen, Alan Schmitt:
Pretty-big-step-semantics-based Certified Abstract Interpretation. JFLA 2014: 109-130
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/Signoles14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/Signoles14
Julien Signoles:
Comment un chameau peut-il écrire un journal ? JFLA 2014: 131-148
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/PousS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/PousS14
Damien Pous, Alan Schmitt:
De la KAM avec un Processus d'Ordre Supe'rieur. JFLA 2014: 149-158
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/BagnolDS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/BagnolDS14
Marc Bagnol, Amina Doumane, Alexis Saurin:
Analyse de dépendances et correction des réseaux de preuve. JFLA 2014: 159-174
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/PedrotDS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/PedrotDS14
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

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.