A Survey of Rewriting Strategies in Program Transformation Systems Part 1 Author: Eelco Visser Speaker: Wei Zhao Outline Section 1: introduction Section 2: A Taxonomy of…