Typer la dé-sérialisation sans sérialiser les types

Grégoire Henry, Michel Mauny, Emmanuel Chailloux

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 ex…