Actes des JFLA'2007

27 - 30 janvier 2007 Aix-les-Bains (France)

Les actes fichier par fichier

• Préliminaires
  le postscript le dvi le pdf
• Sommaire
  le postscript le dvi le pdf
• Satisfiability Modulo Structures as Constraint Satisfaction: An Introduction
  Hassan Aït-Kaci
  le postscript le dvi le pdf
• Operating Systems in Haskell: Implementations, Models, and Proofs
  Andrew Tolmach
  le postscript le dvi le pdf les transparents
• Arithmétique réelle exacte certifiée, co-induction et base arbitraire
  Nicolas Julien
  le postscript le dvi le pdf les transparents
• Définition et preuve d'un algorithme fonctionnel de segmentation d'image basé sur les hypercartes
  Jean-François Dufourd
  le postscript le dvi le pdf les transparents
• Utilisation en Coq de l'opérateur de description
  Pierre Casteran
  le postscript le dvi le pdf les transparents
• Gestion de versions de formats avec Camlp4
  Fabrice Le Fessant
  le postscript le dvi le pdf
• Couverture de code Caml pour la réalisation d'outils de développement certifiés
  Bruno Pagano, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço et Philippe Wang
  le postscript le dvi le pdf
• Un programme annoté en vaut deux
  Alain Giorgetti et Julien Groslambert
  le postscript le dvi le pdf les transparents
• Erasure and Duplication in Classical Computation
  Dragisa Zunic et Pierre Lescane
  le postscript le dvi le pdf les transparents
• Décurryfication certifiée
  Zaynah Dargaye
  le postscript le dvi le pdf les transparents
• Union-Find Persistant
  Sylvain Conchon et Jean-Christophe Filliâtre
  le postscript le dvi le pdf les transparents
• Les modèles classiques de conception objet vus par la programmation ML
  Philippe Narbel
  le postscript le dvi le pdf

Les supports de cours

• Programmation Synchrone Fonctionnelle
  Marc Pouzet
  
• Techniques de Réécriture et Transformations
  Horatiu Cirstea et Antoine Reilles
  les transparents
• Apéro-Reflexion
  Jean-François Monin
  les transparents les scripts Coq