Abstract: Inferring program transformations from concrete program changes has many potential uses, such as applying systematic program edits, refactoring, and automated program repair. Existing work ...

Transformations change the size or position of shapes. In the exam you may be asked to draw and/or describe transformations. In Module 8 (M8), there may be questions on any of the transformations work ...