GitHub repository: ogolov/ProgramSliding
Description: A provably-correct framework for provably-correct code-motion refactoring