To: seminaire@pauillac.inria.fr From: Francois.Pottier@inria.fr Subject: SEM - INRIA : Cristal - 23/01/06 - Paris - FR Vous pouvez vous abonner à nos annonces de séminaires http://pauillac.inria.fr/seminaires/subscribe.html S E M I N A I R E ___ . / ___ __ /_ _ / /| /| _ __ __ _ _ / / / /_ / __| / ----- / |/ | / \ /_ / / \ | / __| |___ / / __/ |_ |_/ |_ / | |_/__/ |_ |_/ |/ |_/ I N R I A - Rocquencourt Amphi Turing du bâtiment 1 Lundi 23 janvier, 10h30 -------------- Grégoire Henry -------------- INRIA ================================================== Typer la désérialisation sans sérialiser les types ================================================== La sérialisation (marshaling ou pickling, en Anglais) d'une valeur par un programme consiste à la représenter sous la forme d'une suite d'octets de sorte à pouvoir la sauvegarder dans un fichier pour relecture ultérieure ou la communiquer à d'autres programmes via un réseau. Pour sérialiser efficacement, on sauve une représentation linéaire du graphe mémoire de la valeur, en préservant partage et cycles. Manipuler ces valeurs après leur relecture dans un langage typé statiquement impose de leur attribuer un type statique sans risquer de compromettre les propriétés apportées par la discipline de typage du langage. Pour ce faire, on adjoint généralement aux valeurs sérialisées leur type, sous une forme ou sous une autre, de sorte à pouvoir vérifier que le type attendu après relecture correspond bien au type effectif de la valeur relue. Je présenterai dans cet exposé une technique de vérification de typage des valeurs sérialisées qui ne nécessite pas une telle adjonction d'information de type. Il s'agit d'un travail commun avec Michel Mauny et Emmanuel Chailloux (PPS, P6).