Open AccessTyper la dé-sérialisation sans sérialiser les types
Author(s) -
Grégoire Henry,
Michel Mauny,
Emmanuel Chailloux
Publication year - 2006
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - French
Resource type - Conference proceedings
Subject(s) - correctness , computer science , programming language , singleton , model checking , type (biology) , memory safety , data type , data structure , theoretical computer science , algorithm , compiler , pregnancy , ecology , genetics , biology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom