Actes des JFLA'2003

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.

Préliminaires
le postscript
Sommaire
le postscript
9h00 - 10h00 Conférence invitée OCaml dans l'industrie financière: expérience industrielle d'une utilisation intensive et stratégique du langage OCaml dans un projet novateur.
Jean-Marc Eber, spécialiste de l'informatique financière.
le postscript
10h30 - 11h Les avertissements du filtrage
Luc Maranget (INRIA Rocquencourt)
le postscript
11h - 11h30 Calcul statique des applications de modules paramétrés
J. Signoles
le postscript
11h30 - 12h00 Another Implementation Technique for Functional Programming Languages
R. Boulifa et M. Mezghiche
le postscript
17h00 - 17h30 Un système X Raisonner formellement sur les programmes ML
S. Baro et P. Manoury
le postscript
17h30 - 18h00 Réutilisation de preuves formelles : Une étude pour le système FoC
C. Dubois, J. Grandguillot et M. Jaume
le postscript
18h00 - 18h30 Filtrage et règles de réécriture sur des structures indexées par des groupes
J. Cohen, O. Michel et J.-L. Giavitto
le postscript

9h - 10h Conférence invitée
Du fonctionnel en prépa.
Alain Chillès, professeur de classes préparatoires à Lyon.
le postscript
10h30 - 11h00 A Parametrized Polyvariant Bytecode Verifier
L. Henrio et B. P. Serpette
le postscript
11h00 - 11h30 Analyse de robustesse de systèmes avioniques
Y. Ait Ameur, F. Boniol, S. Pairault et V. Wiels
le postscript
11h30 - 12h00 L'expérience SCOL, un langage pour des applications internet multi-utilisateurs
A.-G. Bosser et F. Alberti
le postscript
13h30 - 14h00 CamlG4 : une bibliothèque de calcul parallèle pour Objective Caml
J. Falcou et J. Sérot
le postscript
14h - 14h30 Synthèse de types pour Bulk Synchronous Parallel ML
F. Gava et F. Loulergue
le postscript