Geoff Hamilton. On the Termination of Positive Supercompilation. In Alexei Lisitsa, Andrei P. Nemytykh, editors, First International Workshop on Verification and Program Transformation, VPT 2013, Saint Petersburg, Russia, July 12-13, 2013. Volume 16 of EPiC Series, pages 42-56, EasyChair, 2013. [doi]
Abstract is missing.