Correction to: A Notion of Equivalence for Refactorings with Abstract Execution

Abstract

In the originally published version of this chapter a sentence in the 4th paragraph of section 5 "Discussion" was incomplete. This has been corrected and the sentence has been updated as follows "Conversely, due to the challenges in checking instantiation of schemata against concrete programs already pointed out by Steinhöfel [28, 119,137], one has to take care not to write too restrictive programs that rule out useful working instances.