| Type de publication : |
 |
Communications avec actes |
|
| Domaine : |
|
Informatique/Langage de programmation
|
|
| Titre : |
|
Typer la dé-sérialisation sans sérialiser les types |
|
| Auteur(s) : |
|
Grégoire Henry ( ) 1, Michel Mauny () 2, 3, Emmanuel Chailloux () 1 |
|
| Laboratoire : |
|
|
|
| Résumé : |
|
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. |
|
Langue du texte
intégral : |
|
Français |
|
Date de production,
écriture : |
|
2005 |
|
|
| Titre de l'ouvrage : |
|
Journée francophone des langages applicatifs (JFLA) 2006 |
|
| Audience : |
|
nationale |
|
| Date de publication : |
|
01/2006 |
|
| Page, identifiant, ... : |
|
133-146 |
|
| Éditeur commercial : |
|
INRIA |
|
|
| Date de la conférence : |
|
01/2006 |
|
| Ville : |
|
Pauillac |
|
| Pays : |
|
France |
|
|
| Mots Clés : |
|
marshalling – unmarshalling – static typing – antiunification – ML – OCaml – polymorphic recursion |
|
|
Récupérer au format
