Search results for "JFLA"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Louis Mandel, Adrien Guatto	Réseaux de Kahn à rafales et horloges entières.	JFLA	2014	DBLP BibTeX RDF
1	Sylvain Conchon, David Declerck, Luc Maranget, Alain Mebsout	Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières.	JFLA	2014	DBLP BibTeX RDF
1	Damien Pous, Alan Schmitt	De la KAM avec un Processus d'Ordre Supe'rieur.	JFLA	2014	DBLP BibTeX RDF
1	Adrien Husson	Une sémantique statique pour MongoDB.	JFLA	2014	DBLP BibTeX RDF
1	Bernard P. Serpette, Pascal Manoury, Emmanuel Chailloux	Unification des couleurs dans un λ-calcul polychrome.	JFLA	2014	DBLP BibTeX RDF
1	Yoichi Hirai, Reynald Affeldt	What could Coq do for Database Software? - A Progress Report.	JFLA	2014	DBLP BibTeX RDF
1	Marc Bagnol, Amina Doumane, Alexis Saurin	Analyse de dépendances et correction des réseaux de preuve.	JFLA	2014	DBLP BibTeX RDF
1	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	DBLP BibTeX RDF
1	Christine Tasson, David Baelde (eds.)	25. Journées francophones des langages applicatifs, Fréjus, France, January 8-11, 2014.	JFLA	2014	DBLP BibTeX RDF
1	Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous	Formal verification in Coq of program properties involving the global state effect.	JFLA	2014	DBLP BibTeX RDF
1	Louis Mandel, Cédric Pasteur	Exécution efficace de programmes ReactiveML.	JFLA	2014	DBLP BibTeX RDF
1	Julien Signoles	Comment un chameau peut-il écrire un journal ?	JFLA	2014	DBLP BibTeX RDF
1	Martin Bodin, Thomas P. Jensen, Alan Schmitt	Pretty-big-step-semantics-based Certified Abstract Interpretation.	JFLA	2014	DBLP BibTeX RDF
1	Luca Saiu	Vers une programmation fonctionnelle en appel par valeur sur systèmes multi-coeurs : évaluation asynchrone et ramasse-miettes parallèle.	JFLA	2009	DBLP BibTeX RDF
1	Louis Mandel, Florence Plateau	Abstraction d'horloges dans les systèmes synchrones flot de données.	JFLA	2009	DBLP BibTeX RDF
1	Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer	Faire bonne figure avec Mlpost.	JFLA	2009	DBLP BibTeX RDF
1	Julien Signoles	Foncteurs impératifs et composés: la notion de projets dans Frama-C.	JFLA	2009	DBLP BibTeX RDF
1	Maxence Guesdon	Fouille au code OCaml par analyse de dépendances.	JFLA	2009	DBLP BibTeX RDF
1	Alan Schmitt (eds.)	JFLA 2009, Vingtièmes Journées Francophones des Langages Applicatifs, Saint Quentin sur Isère, France, January 31 - February 3, 2009. Proceedings	JFLA	2009	DBLP BibTeX RDF
1	Didier Parigot, Bernard P. Serpette	Qui sème la fonction, récolte le tuyau typé.	JFLA	2009	DBLP BibTeX RDF
1	Séverine Maingaud	Un modèle de l'assistant à la preuve: PAF!	JFLA	2009	DBLP BibTeX RDF
1	Vlad Rusu, Manuel Clavel	Vérification d'invariants pour des systèmes spécifiés en logique de réécriture.	JFLA	2009	DBLP BibTeX RDF
1	Stéphane Glondu	Extraction certifiée dans Coq-en-Coq.	JFLA	2009	DBLP BibTeX RDF
1	Luc Maranget	Les avertissements du filtrage.	JFLA	2003	DBLP BibTeX RDF
1	Sylvain Baro, Pierre Manoury	Un système X Raisonner formellement sur les programmes ML.	JFLA	2003	DBLP BibTeX RDF
1	Yamine Aït Ameur, Frédéric Boniol, S. Pairault, Virginie Wiels	Analyse de robustesse de systèmes avioniques.	JFLA	2003	DBLP BibTeX RDF
1	Alain Chillès	Du fonctionnel en prépa.	JFLA	2003	DBLP BibTeX RDF
1	Catherine Dubois, J. Grandguillot, Mathieu Jaume	Réutilisation de preuves formelles : une étude pour le système FoC.	JFLA	2003	DBLP BibTeX RDF
1	Rabéa Boulifa, Mohamed Mezghiche	Another Implementation Technique for Functional Programming Languages.	JFLA	2003	DBLP BibTeX RDF
1	Anne-Gwenn Bosser, Francisco Alberti	L'expérience SCOL, un langage pour des applications internet multi-utilisateurs.	JFLA	2003	DBLP BibTeX RDF
1	Frédéric Gava, Frédéric Loulergue	Synthèse de types pour Bulk Synchronous Parallel ML.	JFLA	2003	DBLP BibTeX RDF
1	Jean-Christophe Filliâtre (eds.)	Journées francophones des langages applicatifs (JFLA'03), Chamrousse, France, Janvier 2003	JFLA	2003	DBLP BibTeX RDF
1	Joel Falcou, Jocelyn Sérot	CamlG4 : une bibliothèque de calcul parallèle pour Objective Caml.	JFLA	2003	DBLP BibTeX RDF
1	Ludovic Henrio, Bernard P. Serpette	A Parametrized Polyvariant Bytecode Verifier.	JFLA	2003	DBLP BibTeX RDF
1	Julien Signoles	Calcul statique des applications de modules paramétrés.	JFLA	2003	DBLP BibTeX RDF
1	Julien Cohen, Olivier Michel 0001, Jean-Louis Giavitto	Filtrage et règles de réécriture sur des structures indexées par des groupes.	JFLA	2003	DBLP BibTeX RDF
1	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	DBLP BibTeX RDF
1	Virgile Prevosto	Prototype d'interface utilisateur de la librairie FOC.	JFLA	2001	DBLP BibTeX RDF
1	Pierre Castéran (eds.)	Journées francophones des langages applicatifs (JFLA'01), Pontarlier, France, Janvier, 2001	JFLA	2001	DBLP BibTeX RDF
1	Jun Furuse	Generic Polymorphism in ML.	JFLA	2001	DBLP BibTeX RDF
1	Pascal Cuoq, Marc Pouzet	Causalité modulaire dans un langage de flots synchrone.	JFLA	2001	DBLP BibTeX RDF
1	Loic Pottier	Extraction dans le Calcul des Constructions Inductives.	JFLA	2001	DBLP BibTeX RDF
1	Didier Plaindoux	Programmation fonctionnelle et XML: PaX.	JFLA	2001	DBLP BibTeX RDF
1	Frédéric Prost	On the semantics of non-interference type-based analysis.	JFLA	2001	DBLP BibTeX RDF
1	Nicolas Magaud, Yves Bertot	Changement de représentation des structures de données en Coq: le cas des entiers naturels.	JFLA	2001	DBLP BibTeX RDF
1	David Delahaye, Micaela Mayero	Field, une procédure de décision pour les nombres réels en Coq.	JFLA	2001	DBLP BibTeX RDF
1	Jerzy Karczmarczuk	Calcul des adjoints et programmation paresseuse.	JFLA	2001	DBLP BibTeX RDF
1	Laurent Chicli	Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq.	JFLA	2001	DBLP BibTeX RDF

Publications at "JFLA"( http://dblp.L3S.de/Venues/JFLA )