在不序列化类型的情况下对反序列化进行类型检查
编程语言
2007-05-23 v1
摘要
在本文中，我们提出了一种为反编组 (unmarshalling) 函数分配静态类型信息的方法，并描述了一种针对反编组数据的验证技术，该技术保留了静态类型检查所提供的执行安全性。这种技术的正确性已得到证明，它依赖于单例类型 (singleton types)，其值在运行时传递给反编组例程，并依赖于一种能够处理共享和循环的高效检查算法。
引用
@article{arxiv.0705.1452,
title = {Typer la d\'e-s\'erialisation sans s\'erialiser les types},
author = {Grégoire Henry and Michel Mauny and Emmanuel Chailloux},
journal= {arXiv preprint arXiv:0705.1452},
year = {2007}
}