Total correctness by local improvement in program transformation (1995)

by D Sands
Venue:In Proceedings of the 22nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL