Building trustworthy refactoring tools

Simon Thompson. Building trustworthy refactoring tools. 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 15, EasyChair, 2013. [doi]

Abstract

Abstract is missing.