Sciweavers

Share
9 search results - page 1 / 2
» Certificate Translation
Sort
View
CADE
2008
Springer
9 years 11 months ago
Certificate Translation
Gilles Barthe
ICFEM
2009
Springer
8 years 9 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...
FOAL
2008
ACM
9 years 20 days ago
Certificate translation for specification-preserving advices
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
Gilles Barthe, César Kunz
FOSAD
2008
Springer
9 years 20 days ago
An Introduction to Certificate Translation
Gilles Barthe, César Kunz
books