Sciweavers

Share
ICFEM
2009
Springer
8 years 11 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
10 years 1 months ago
Certificate Translation
Gilles Barthe
books