An Internalist Approach to Correct-by-Construction Compilers.

Alberto Pardo, Emmanuel Gunther, Miguel Pagano, Marcos Viera

Browse the full PPDP paper archive.