Procedural Abstraction with Reverse Prefix Trees.

Stefan Schckeler, Weijia Shang

Browse the full CGO paper archive.