Geoff Hamilton, Morten Heine Sørensen. Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem. In Alexei Lisitsa, Andrei P. Nemytykh, editors, VPT 2014. Second International Workshop on Verification and Program Transformation, July 17-18, 2014, Vienna, Austria, The workshop is an event of the Vienna Summer of Logic 2014 and it is co-located with the 26th International Conference on Computer Aided Verification CAV 2014. Volume 28 of EPiC Series, pages 36-51, EasyChair, 2014. [doi]
Abstract is missing.