ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 26/9 - 2007  - pp.1067-1090  - doi:10.3166/tsi.26.1067-1090
TITRE
Typer la désérialisation sans sérialiser les types

RÉSUMÉ
Nous proposons dans cet article une façon d'attribuer un type statique à des fonctions de désérialisation, et développons une technique de vérification des données désérialisées qui préserve la sûreté d'exécution garantie par le typage statique. Cette technique repose sur un type singleton dont la valeur est transmise à l'exécution aux fonctions de désérialisation, ainsi que sur un algorithme de vérification dynamique efficace capable de traiter le partage et les cycles, dont nous prouvons la correction.


ABSTRACT
In this paper, we propose a way of assigning static type information to unmarshalling functions and we describe a verification technique for unmarshalled data that preserves the execution safety provided by static type checking. This technique, whose correctness is proven, relies on singleton types whose values are transmitted to unmarshalling routines at runtime, and on an efficient checking algorithm able to deal with sharing and cycles.


AUTEUR(S)
Grégoire HENRY, Michel MAUNY, Emmanuel CHAILLOUX

Reçu le 19 avril 2006.    Accepté le 15 février 2007.

MOTS-CLÉS
sérialisation, désérialisation, typage statique, anti-unification, ML, OCaml, récursion polymorphe.

KEYWORDS
marshalling, unmarshalling, static typing, antiunification, ML, OCaml, polymorphic recursion.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (300 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier