Semantics-Preserving Procedure Extraction.

Raghavan Komondoor, Susan Horwitz

Browse the full POPL paper archive.