Code Motion of Control Structures in High-Level Languages.

Ron Cytron, Andy Lowry, F. Kenneth Zadeck

Browse the full POPL paper archive.