Typer la désérialisation sans sérialiser les types - ENSTA Paris - École nationale supérieure de techniques avancées Paris Access content directly
Journal Articles Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques Year : 2007

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

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.
No file

Dates and versions

hal-00275358 , version 1 (23-04-2008)

Identifiers

  • HAL Id : hal-00275358 , version 1

Cite

Grégoire Henry, Michel Mauny, Emmanuel Chailloux. Typer la désérialisation sans sérialiser les types. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2007, 26 (9), pp.1067-1090. ⟨hal-00275358⟩
136 View
1 Download

Share

Gmail Facebook X LinkedIn More