Return to Article Details Usage of formalized knowledge about source code for refactoring actions in Swift Download Download PDF