A Formally Verified SSA-Based Middle-End - Static Single Assignment Meets CompCert.

Gilles Barthe, Delphine Demange, David Pichardie

Browse the full ESOP paper archive.