JFLA 2002 : les actes
Lundi 29 Janvier
Conférence invitée, par Yves Bertot
Des descriptions fonctionnelles aux implémentations impératives des
programmes.
le postscript
Les exposés
- La supériorité de l'ordre supérieur
Jean-Christophe Filliâtre (LRI, Paris Sud)
le postscript
- Fonctions récursives générales par itération en théorie des types
Antonia Balaa et Yves Bertot (Lemme, Inria Sophia Antipolis)
le postscript
- Typage du bytecode CAML
Sébastien Ailleret (Moscova, Inria Rocquencourt)
le postscript
- Cast objet pour la construction de hiérarchies de classes en Objective Caml
Emmanuel Chailloux (PPS, Paris 7)
le postscript
Mardi 29 Janvier 2002
Conférence invitée, par Thérèse Hardin
Produire un logiciel de confiance : quelles hypothèses, quelles limites?
le postscript
Les exposés
- Vers un système de modules à la Harper-Lillibridge-Leroy pour les spécifications formelles B
Dorian Petit, Georges Mariano(INRETS) et Vincent Poirriez(Université de Valenciennes)
le postscript
- Elimination des quantificateurs sur les réels en Coq
Assia Mahboubi (ENS Lyon) et Loïc Pottier (Lemme, Inria Sophia Antipolis)
le postscript
- Solving stream equation systems
Bruno Barbier (LIFC, Université de Franche Comté)
le postscript
- MGS : transformer des collections complexes pour la simulation en biologie
Olivier Michel, Jean-Louis Giavitto et Julien Cohen (LAMI, Université d'Evry)
le postscript
- La machine abstraite catégorique BSP
Armelle Merlin et Gaétan Hains (LIFO, Université d'Orléans)
le postscript