Total Correctness by Local Improvement in Program Transformation.

David Sands

Browse the full POPL paper archive.