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

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

2007-05-10

arxiv.org/abs/0705.1452v1

Journ\'ee francophone des langages applicatifs (JFLA) 2006 (01/2006)

Computer Science

Programming Languages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Typer la dé-sérialisation sans sérialiser les types does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Typer la dé-sérialisation sans sérialiser les types, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Typer la dé-sérialisation sans sérialiser les types will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-600732