version française All team publications
Publications - Cesar Kunz
[BibTeX Format]

[BK08a] 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 ]
[BK08b] 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 ]
[BGKR06] 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 ]

This file has been generated by bibtex2html 1.87.

on Tue, 02 Sep 2008 00:00:09 +0200