Total Correctness by Local Improvement in the Transformation of Functional Programs (1996)

Cached

Download Links

by David Sands
Venue:ACM Transactions on Programming Languages and Systems
Citations:61 - 6 self

Document Versions

Total Correctness by Local Improvement in the Transformation of Functional Programs –David Sands — 1996 — ACM Transactions on Programming Languages and Systems