Actes des JFLA'2006

28 - 31 janvier 2006 Pauillac (France)

Les actes en un seul fichier

le fichier compressé au format tar de l'ensemble des fichiers postscript des actes.

Le moyen d'imprimer facilement les actes.

Les actes fichier par fichier

• Préliminaires
  le postscript le dvi le pdf
• Sommaire
  le postscript le dvi le pdf
• ASF+SDF: a functional language to prototype (programming) languages (exposé invité)
  Mark. G.J. van den Brand
  le postscript le dvi le pdf
• Une Preuve Effective de la Bonne Fondation de l'Ordre Récursif Multi_ensemble sur les Chemins
  Solange Coupet-Grimal et William Delobel
  le postscript le dvi le pdf
• Faire garder la banque par un Coq
  Judicaël Courant et Jean-François Monin
  le postscript le dvi le pdf
• Calcul de formules affines et de séries entières en arithmétique exacte avec types co-inductifs
  Yves Bertot
  le postscript le dvi le pdf
• Decidable Type Inference for the Polymorphic Rewriting Calculus
  Horatiu Cirstea, Claude Kirchner, Luigi Liquori et Benjamin Wack
  le postscript le dvi le pdf
• Formalisation et implantation d'une politique de sécurité d'une base de données
  Julien Blond et Charles Morisset
  le postscript le dvi le pdf
• Une implantation de la juxtaposition parallèle
  Frédéric Gava
  le postscript le dvi le pdf
• Composition parallèle pour MSPML
  Radia Benheddi et Frédéric Loulergue
  le postscript le dvi le pdf
• Itérer avec persistance
  Jean-Christophe Filliâtre
  le postscript le dvi le pdf
• Typer la dé-sérialisation sans sérialiser les types
  Grégoire Henry, Michel Mauny et Emmanuel Chailloux
  le postscript le dvi le pdf
• Stratégie d'application stochastique de règles de réécritures dans le langage MGS
  Antoine Spicher et Olivier Michel
  le postscript le dvi le pdf