G. Barthe and C. Kunz.
Certificate translation for specification-preserving advices.
In Proceedings of the Foundations of Aspect-Oriented Languages
Workshop (FOAL), Brussels, Belgium, April 2008. ACM.
[ bib |
.pdf ]
G. Barthe and C. Kunz.
Certificate translation in abstract interpretation.
In Proceedings of the 17th European Symposium on Programming
(ESOP), LNCS, Budapest, Hungary, March-April 2008. Springer-Verlag.
[ bib |
.pdf ]
G. Barthe, B. Grégoire, C. Kunz, and T. Rezk.
Certificate translation for optimizing compilers.
In Proceedings of the 13th International Static Analysis
Symposium (SAS), LNCS, Seoul, Korea, August 2006. Springer-Verlag.
[ bib |
.pdf ]