const4aints as a desig7 pa9er7
play

Const4aints as a Desig7 Pa9er7 Hesam Samimi Alessandro - PowerPoint PPT Presentation

Jan 28, 2024 •422 likes •900 views

Const4aints as a Desig7 Pa9er7 Hesam Samimi Alessandro War0h Mahdi Eslamimehr Alan Bor7ing Lab Labs MODULE bakeCarrotCake MAIN var timer, pan, bowl, grease, flour; oven.start(); WHILE (oven.heat < 350) END WHILE;

  1. Const4aints as a Desig7 Pa9er7 Hesam Samimi Alessandro War0h Mahdi Eslamimehr Alan Bor7ing Lab Labs

  3. MODULE bakeCarrotCake MAIN var timer, pan, bowl, grease, flour; oven.start(); WHILE (oven.heat < 350) END WHILE; add(&pan, &grease); add(&pan, &flour); add(&bowl, &egg1); add(&bowl, &vanilla); add(&bowl, &carrots); timer.start(); place(&bowl, &oven); WHILE (timer.time() < 50) if (toothPickInCenterOfCake() && itComesOutClean()) { break; /* HACK FIXME */ } END WHILE; timer.reset(); WHILE (timer.time() < 10) END WHILE; remove(&bowl, &over); END

  4. CARROT CAKE Serves: 18 Calories: 575 1. Preheat oven to 350 degrees F (175 degrees C). Grease and flour ✔ a 9x13 inch pan. 2. In a large bowl, beat together eggs, oil, white sugar and 2 ✔ teaspoons vanilla. Mix in flour, baking soda, baking powder, salt and cinnamon. Stir in carrots. Fold in pecans. Pour into prepared pan. 3. Bake in the preheated oven for 40 to 50 minutes, or until a ✔ toothpick inserted into the center of the cake comes out clean. Let cool in pan for 10 minutes, then turn out onto a wire rack and cool completely.

  5. CARROT CAKE Serves: 18 Calories: 575 1. Preheat oven to 350 degrees F (175 degrees C). Grease and flour ✔ a 9x13 inch pan. 2. In a large bowl, beat together eggs, oil, white sugar and 2 ✔ teaspoons vanilla. Mix in flour, baking soda, baking powder, salt and cinnamon. Stir in carrots. Fold in pecans. Pour into prepared pan. 3. Bake in the preheated oven for 40 to 50 minutes, or until a ✔ toothpick inserted into the center of the cake comes out clean. Let cool in pan for 10 minutes, then turn out onto a wire rack and cool completely.

  6. CARROT CAKE Serves: 18 Calories: 575 1. Preheat oven to 350 degrees F (175 degrees C). Grease and flour 1K-1M LoC a 9x13 inch pan. 2. In a large bowl, beat together eggs, oil, white sugar and 2 teaspoons vanilla. Mix in flour, baking soda, baking powder, salt and cinnamon. Stir in carrots. Fold in pecans. Pour into prepared pan. 3. Bake in the preheated oven for 40 to 50 minutes, or until a toothpick inserted into the center of the cake comes out clean. Let ⊙ � ⊙ cool in pan for 10 minutes, then turn out onto a wire rack and cool meaning ?? ☹ completely.

  7. CARROT CAKE what Serves: 18 Calories: 575 how 1. Preheat oven to 350 degrees F (175 degrees C). Grease and flour ✔ a 9x13 inch pan. 2. In a large bowl, beat together eggs, oil, white sugar and 2 ✔ teaspoons vanilla. Mix in flour, baking soda, baking powder, salt and cinnamon. Stir in carrots. Fold in pecans. Pour into prepared pan. 3. Bake in the preheated oven for 40 to 50 minutes, or until a ✔ toothpick inserted into the center of the cake comes out clean. Let cool in pan for 10 minutes, then turn out onto a wire rack and cool completely.

  8. CARROT CAKE what ✗ Serves: 18 20 ✗ Calories: 575 350 1. 2. 3.

  9. CARROT CAKE what ✗ Serves: 18 20 ✗ Calories: 575 350 how 1. ??? 2. ⊙ � ⊙ 3.

  10. CARROT CAKE what Serves: 18 Calories: 575 ✗ how constraint constraint solver solver a solution

  11. CARROT CAKE what ✗ Serves: 18 20 ✗ Calories: 575 350 ✗ how constraint constraint solver solver a solution

  12. constraint constraint solver solver ☹

  13. constraint constraint solver solver ☹ ☹ perforGance exJressivitL

  14. MODULE bakeCarrotCake fallback to… MAIN var timer, pan, bowl, grease, flour; oven.start(); WHILE (oven.heat < 350) END WHILE; add(&pan, &grease); add(&pan, &flour); add(&bowl, &egg1); add(&bowl, &vanilla); add(&bowl, &carrots); timer.start(); place(&bowl, &oven); WHILE (timer.time() < 50) if (toothPickInCenterOfCake() && itComesOutClean()) { break; /* HACK FIXME */ } END WHILE; ugly... timer.reset(); WHILE (timer.time() < 10) END WHILE; works, fast! remove(&bowl, &over); END

  15. backg4ound

  16. backg4ound First purely declarative prog4amming system?

  17. Ivan Sutherland’s Sketchpad - 1961

  18. inspiration Ivan Sutherland’s Sketchpad - 1961 method

  20. solution

  21. prog4am

  22. prog4am constraints

  23. prog4am constraints UI to interact w/ const4aints

  24. prog4am constraints API in IMP specific solvers to define coded in const4aints imperative langZage & how to solve

  25. prog4am ü modularitL constraints constraints ü understandabilitL ü ex0ensibilitL imperative imperative ü emergent behavior code code ü flexbilitL ü efficiency ü practicalitL code SMT SAT numeric … {

  26. prog4am constraints constraints imperative imperative code code

  27. prog4am 1. class definitions data • constraint • 2. data 3. continuous behaviors constraints • 4. discrete behaviors (events) trigger • handler • add/remove • data/constraint •

  28. API to interact prog4am constraints w/ const4aints

  29. 2. data

  30. 3. const4aints

  31. 4. events

  32. UI to interact prog4am constraints w/ const4aints

  33. prog4am constraints API in IMP specific solvers to define coded in const4aints imperative langZage & how to solve

  34. l p1 p2 Defining a Const4aint

  35. Solving constraint in isolation

  36. l p1 p2 Solving a Const4aint

  37. Solving constraint in isolation

  38. Merging Solutions

  39. Solving constraint in isolation hardcoded iterative (relaxation)

  40. Solving

  41. Demo: Benefits

  42. Related Work Mixed Prog4amming Const4aint as a Desig7 e.g. Const4aint Imperative Pa9er7 (CDP) Prog4amming (CIP) ‘90 const4aints const4aints always vs. x + y = code 100 code y := 40; prog4am prog4am

  43. Thank you! h9J://www.cdglabs.org/sketchpad14

  44. 4. events

  45. 4. events

  46. Execution…

Recommend

More recommend