Implementing Refactorings in the Spoofax Language Workbench

Spoofax is a language workbench for efficient development of textual domain-specific languages together with state-of-the-art IDE support. Spoofax integrates language and IDE development into a single environment, using concise, declarative specifications for languages and IDE services. We are extending Spoofax with a framework for the implementation of refactorings. The current paper gives an overview of the framework and demonstrates the implementation of refactorings for languages developed using Spoofax.Software Computer TechnologyElectrical Engineering, Mathematics and Computer Scienc