Shape analysis with inductive recursion synthesis (0)

by B Guo, N Vachharajani, D August
Venue:In PLDI: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation