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

Simple item page
dc.creatorHenry, Grégoire
dc.creatorMauny, Michel
dc.creatorChailloux, Emmanuel
dc.date2007-05-10
dc.date.accessioned2026-07-07T08:00:38Z
dc.date.available2026-07-07T08:00:38Z
dc.descriptionIn 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.
dc.identifierhttps://arxiv.org/abs/0705.1452
dc.identifierhttp://arxiv.org/abs/0705.1452
dc.identifierJournée francophone des langages applicatifs (JFLA) 2006 (01/2006)
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/128717
dc.subjectProgramming Languages
dc.titleTyper la dé-sérialisation sans sérialiser les types
dc.typetext

Files

Collections

arXiv