Total Correctness by Local Improvement in Program Transformation (1995)

Cached

Download Links

by David Sands
Venue:In Proceedings of the 22nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL
Citations:20 - 3 self