Shape analysis with inductive recursion synthesis.

Bolei Guo, Neil Vachharajani, David I. August

Browse the full PLDI paper archive.