Sign in
JFLA
2001
2005
2010
2014
2001
2014
Keyphrases
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)
2009
Luca Saiu
Vers une programmation fonctionnelle en appel par valeur sur systèmes multi-coeurs : évaluation asynchrone et ramasse-miettes parallèle.
JFLA
(2009)
Louis Mandel
,
Florence Plateau
Abstraction d'horloges dans les systèmes synchrones flot de données.
JFLA
(2009)
Romain Bardou
,
Jean-Christophe Filliâtre
,
Johannes Kanig
,
Stéphane Lescuyer
Faire bonne figure avec Mlpost.
JFLA
(2009)
Julien Signoles
Foncteurs impératifs et composés: la notion de projets dans Frama-C.
JFLA
(2009)
Maxence Guesdon
Fouille au code OCaml par analyse de dépendances.
JFLA
(2009)
JFLA 2009, Vingtièmes Journées Francophones des Langages Applicatifs, Saint Quentin sur Isère, France, January 31 - February 3, 2009. Proceedings
JFLA
(2009)
Didier Parigot
,
Bernard P. Serpette
Qui sème la fonction, récolte le tuyau typé.
JFLA
(2009)
Séverine Maingaud
Un modèle de l'assistant à la preuve: PAF!
JFLA
(2009)
Vlad Rusu
,
Manuel Clavel
Vérification d'invariants pour des systèmes spécifiés en logique de réécriture.
JFLA
(2009)
Stéphane Glondu
Extraction certifiée dans Coq-en-Coq.
JFLA
(2009)
2003
Luc Maranget
Les avertissements du filtrage.
JFLA
(2003)
Sylvain Baro
,
Pierre Manoury
Un système X Raisonner formellement sur les programmes ML.
JFLA
(2003)
Yamine Aït Ameur
,
Frédéric Boniol
,
S. Pairault
,
Virginie Wiels
Analyse de robustesse de systèmes avioniques.
JFLA
(2003)
Alain Chillès
Du fonctionnel en prépa.
JFLA
(2003)
Catherine Dubois
,
J. Grandguillot
,
Mathieu Jaume
Réutilisation de preuves formelles : une étude pour le système FoC.
JFLA
(2003)
Rabéa Boulifa
,
Mohamed Mezghiche
Another Implementation Technique for Functional Programming Languages.
JFLA
(2003)
Anne-Gwenn Bosser
,
Francisco Alberti
L'expérience SCOL, un langage pour des applications internet multi-utilisateurs.
JFLA
(2003)
Frédéric Gava
,
Frédéric Loulergue
Synthèse de types pour Bulk Synchronous Parallel ML.
JFLA
(2003)
Journées francophones des langages applicatifs (JFLA'03), Chamrousse, France, Janvier 2003
JFLA
(2003)
Joel Falcou
,
Jocelyn Sérot
CamlG4 : une bibliothèque de calcul parallèle pour Objective Caml.
JFLA
(2003)
Ludovic Henrio
,
Bernard P. Serpette
A Parametrized Polyvariant Bytecode Verifier.
JFLA
(2003)
Julien Signoles
Calcul statique des applications de modules paramétrés.
JFLA
(2003)
Julien Cohen
,
Olivier Michel
,
Jean-Louis Giavitto
Filtrage et règles de réécriture sur des structures indexées par des groupes.
JFLA
(2003)
Jean-Marc Eber
OCaml dans l'industrie financière: expérience industrielle d'une utilisation intensive et stratégique du langage OCaml dans un projet novateur.
JFLA
(2003)
2001
Virgile Prevosto
Prototype d'interface utilisateur de la librairie FOC.
JFLA
(2001)
Journées francophones des langages applicatifs (JFLA'01), Pontarlier, France, Janvier, 2001
JFLA
(2001)
Jun Furuse
Generic Polymorphism in ML.
JFLA
(2001)
Pascal Cuoq
,
Marc Pouzet
Causalité modulaire dans un langage de flots synchrone.
JFLA
(2001)
Loic Pottier
Extraction dans le Calcul des Constructions Inductives.
JFLA
(2001)
Didier Plaindoux
Programmation fonctionnelle et XML: PaX.
JFLA
(2001)
Frédéric Prost
On the semantics of non-interference type-based analysis.
JFLA
(2001)
Nicolas Magaud
,
Yves Bertot
Changement de représentation des structures de données en Coq: le cas des entiers naturels.
JFLA
(2001)
David Delahaye
,
Micaela Mayero
Field, une procédure de décision pour les nombres réels en Coq.
JFLA
(2001)
Jerzy Karczmarczuk
Calcul des adjoints et programmation paresseuse.
JFLA
(2001)
Laurent Chicli
Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq.
JFLA
(2001)