Can I read Typer la D\'e-s\'erialisation Sans S\'erialiser Les Types on EtoBox?

Typer la D\'e-s\'erialisation Sans S\'erialiser Les Types by Henry, Grégoire; Mauny, Michel; Chailloux, Emmanuel is a scholarly article available to read on EtoBox.

What is Typer la D\'e-s\'erialisation Sans S\'erialiser Les Types about?

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.

Author

Henry, Grégoire; Mauny, Michel; Chailloux, Emmanuel

Published

2007

Language

EN