Sciweavers

ICFEM
2009
Springer
13 years 4 months ago
Implementing a Direct Method for Certificate Translation
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
Gilles Barthe, Benjamin Grégoire, Sylvain H...
CADE
2008
Springer
14 years 6 months ago
Certificate Translation
Gilles Barthe