Discovering affine equalities using random interpretation

Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '03 ◽

10.1145/604131.604138 ◽

2003 ◽

Cited By ~ 23

Author(s):

Sumit Gulwani ◽

George C. Necula

Download Full-text