'Reversesketch bit' presentation slideshows

Synthesis with the Sketch System

Synthesis with the Sketch System. Day 2. Armando Solar- Lezama. The challenge of synthesis. For functions, the environment controls the inputs i.e. whatever we synthesize must work for all inputs Modeled with a doubly quantified constraint What does it mean to quantify over programs?.

228 views • 15 slides