Program Transformation in the Presence of Errors.

Alexander Aiken, John H. Williams, Edward L. Wimmers

Browse the full POPL paper archive.