Slide 1 1 Lecture 10 – Synthesis from Examples Eran Yahav Slide 2 Previously Abstraction-Guided Synthesis changing the program to match an abstraction transformations…