GitHub repository: laddon/ProgramSliding
Created: 2016-12-30T12:59:54Z
Description: A provably-correct framework for provably-correct code-motion refactoring