Mechanized Verification of CPS Transformations.

Zaynah Dargaye, Xavier Leroy

Browse the full LPAR paper archive.