Discovering affine equalities using random interpretation (2003)

Cached

Download Links

by Sumit Gulwani , George C. Necula
Venue:In 30th Annual ACM Symposium on Principles of Programming Languages
Citations:33 - 12 self