Program analysis as constraint solving. (2008)

by S Gulwani, S Srivastava, R Venkatesan
Venue:In Programming Language Design and Implementation (PLDI),