"Tracing Program Transformations with String Origins."

Pablo Inostroza, Tijs van der Storm, Sebastian Erdweg (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics