You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
For me, program synthesis means "nervous cook and cooking pot in front of many people, cartoon style".
Long Description (up to 3 sentences)
In a cooking contest, the cook should combine various ingredients to make a dish, which should make the gourmets satisfied. It is similar with program synthesis in that I should make use of various grammar to make a program that satisfies each of the constraints.
The text was updated successfully, but these errors were encountered:
Short Description
For me, program synthesis means "nervous cook and cooking pot in front of many people, cartoon style".
Long Description (up to 3 sentences)
In a cooking contest, the cook should combine various ingredients to make a dish, which should make the gourmets satisfied. It is similar with program synthesis in that I should make use of various grammar to make a program that satisfies each of the constraints.
The text was updated successfully, but these errors were encountered: