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 ]
D. Gurov, M. Huisman, and C. Sprenger.
An algorithmic approach to compositional verification of sequential
programs with procedures: An overview.
In Foundations of Interface Technologies (FIT 2008), 2008.
[ bib |
.pdf ]