Strengthening invariants for efficient computation (2001)

Cached

Download Links

by Yanhong A. Liu , Scott D. Stoller , Tim Teitelbaum
Venue:in Conference Record of the 23rd Annual ACM Symposium on Principles of Programming Languages
Citations:6 - 4 self