A PVS Based Framework for Validating Compiler Optimizations.

Aditya Kanade, Amitabha Sanyal, Uday P. Khedker

Browse the full SEFM paper archive.