Shape analysis with inductive recursion synthesis (2007)

by Bolei Guo, Neil Vachharajani, David I August
Venue:In PLDI