Sciweavers

13 search results - page 1 / 3
» An Introduction to Certificate Translation
Sort
View
65
Voted
FOSAD
2008
Springer
14 years 11 months ago
An Introduction to Certificate Translation
Gilles Barthe, César Kunz
ICFEM
2009
Springer
14 years 7 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...
99
Voted
CADE
2008
Springer
15 years 10 months ago
Certificate Translation
Gilles Barthe
CL
2000
Springer
15 years 1 months ago
Certification of Compiler Optimizations Using Kleene Algebra with Tests
We use Kleene algebra with tests to verify a wide assortment of common compiler optimizations, including dead code elimination, common subexpression elimination, copy propagation,...
Dexter Kozen, Maria-Christina Patron
80
Voted
FOAL
2008
ACM
14 years 11 months 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