janvier  2006  –  Journées  Francophones  des  Langages  Applicatifs–  JFLA06

Table des matières

ASF+SDF : a functional language to prototype (programming) languages 1 Une preuve effective de la bonne fondation de l’ordre récursif multi-ensemble sur les

chemins 11 Faire garder la banque par un Coq 25 Calcul de formules affines et de séries entières en arithmétique exacte avec types

co-inductifs 41 Decidable type inference for the polymorphic rewriting calculus 57 Formalisation et implantation d’une politique de sécurité d’une base de données 71 Une implantation de la juxtaposition parallèle 87 Composition parallèle pour MSPML 101 Itérer avec persistance 117 Typer la dé-sérialisation sans sérialiser les types 133 Stratégie d’application stochastique de règles de réécritures dans le langage MGS 147

janvier  2006  –  Journées  Francophones  des  Langages  Applicatifs–  JFLA06

iv