Certificate translation for optimizing compilers (2009)

by G BARTHE, B GRÉGOIRE, C KUNZ, T REZK
Venue:ACM Transactions on Programming Languages and Systems