A Notion of Equivalence for Refactorings with Abstract Execution.

Ole Jrgen Abusdal, Eduard Kamburjan, Violet Ka I Pun, Volker Stolz

Browse the full ISoLA paper archive.