Typer la dé-sérialisation sans sérialiser les types
Typer la dé-sérialisation sans sérialiser les types
摘要：
在本文中，我们提出了一种方法分配静态类型信息的反编组功能，我们描述了一种验证技术的反编组数据，保留执行安全提供的静态类型检查。这种技术，其正确性已被证明，依赖于单例类型，其值在运行时传输到解组例程，并在一个有效的检查算法，能够处理共享和周期。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
