• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 48 matches

• 2014
• 
  Marc Bagnol, Amina Doumane, Alexis Saurin:
  Analyse de dépendances et correction des réseaux de preuve. JFLA 2014: 159-174
• 
  Martin Bodin, Thomas P. Jensen, Alan Schmitt:
  Pretty-big-step-semantics-based Certified Abstract Interpretation. JFLA 2014: 109-130
• 
  Sylvain Conchon, David Declerck, Luc Maranget, Alain Mebsout:
  Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières. JFLA 2014: 17-32
• 
  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
• 
  Yoichi Hirai, Reynald Affeldt:
  What could Coq do for Database Software? - A Progress Report. JFLA 2014: 33-48
• 
  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
• 
  Louis Mandel, Cédric Pasteur:
  Exécution efficace de programmes ReactiveML. JFLA 2014: 49-64
• 
  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
• 
  Damien Pous, Alan Schmitt:
  De la KAM avec un Processus d'Ordre Supe'rieur. JFLA 2014: 149-158
• 
  Bernard P. Serpette, Pascal Manoury, Emmanuel Chailloux:
  Unification des couleurs dans un λ-calcul polychrome. JFLA 2014: 65-76
• 
  Julien Signoles:
  Comment un chameau peut-il écrire un journal ? JFLA 2014: 131-148
• 
  Christine Tasson, David Baelde:
  25. Journées francophones des langages applicatifs, Fréjus, France, January 8-11, 2014. 2014 [contents]
• 2009
• 
  Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer:
  Faire bonne figure avec Mlpost. JFLA 2009: 477-507
• 
  Stéphane Glondu:
  Extraction certifiée dans Coq-en-Coq. JFLA 2009: 383-410
• 
  Maxence Guesdon:
  Fouille au code OCaml par analyse de dépendances. JFLA 2009: 445-476
• 
  Séverine Maingaud:
  Un modèle de l'assistant à la preuve: PAF! JFLA 2009: 351-382
• 
  Louis Mandel, Florence Plateau:
  Abstraction d'horloges dans les systèmes synchrones flot de données. JFLA 2009: 411-444
• 
  Didier Parigot, Bernard P. Serpette:
  Qui sème la fonction, récolte le tuyau typé. JFLA 2009: 225-244
• 
  Vlad Rusu, Manuel Clavel:
  Vérification d'invariants pour des systèmes spécifiés en logique de réécriture. JFLA 2009: 317-350
• 
  Luca Saiu:
  Vers une programmation fonctionnelle en appel par valeur sur systèmes multi-coeurs : évaluation asynchrone et ramasse-miettes parallèle. JFLA 2009: 281-316
• 
  Julien Signoles:
  Foncteurs impératifs et composés: la notion de projets dans Frama-C. JFLA 2009: 245-280
• 
  Alan Schmitt:
  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 [contents]
• 2003
• 
  Yamine Aït Ameur, Frédéric Boniol, S. Pairault, Virginie Wiels:
  Analyse de robustesse de systèmes avioniques. JFLA 2003: 111-124
• 
  Sylvain Baro, Pierre Manoury:
  Un système X Raisonner formellement sur les programmes ML. JFLA 2003: 49-62
• 
  Anne-Gwenn Bosser, Francisco Alberti:
  L'expérience SCOL, un langage pour des applications internet multi-utilisateurs. JFLA 2003: 125-138
• 
  Rabéa Boulifa, Mohamed Mezghiche:
  Another Implementation Technique for Functional Programming Languages. JFLA 2003: 37-48
• 
  Alain Chillès:
  Du fonctionnel en prépa. JFLA 2003: 93-94
• 
  Julien Cohen, Olivier Michel, Jean-Louis Giavitto:
  Filtrage et règles de réécriture sur des structures indexées par des groupes. JFLA 2003: 77-92
• 
  Catherine Dubois, J. Grandguillot, Mathieu Jaume:
  Réutilisation de preuves formelles : une étude pour le système FoC. JFLA 2003: 63-75

skipping 18 more matches