CC 2013Optimal and Heuristic Global Code Motion for Minimal SpillingGergö Barany, Andreas KrallPDFDOI 10.1007/978-3-642-37051-9_2dblpBibTeXAbstract elided by the publisher.