How to get started with program synthesis

Asked 4 months ago

Viewed 59 times

I am a CS Major, I am a programmer with 10 years of experience. i want to get to know about program synthesis. there are no video tutorials / courses available online. i have researched about Emina Torlak, Ras Bodik, who offer courses here https://courses.cs.washington.edu/courses/cse507/14au/sched.html

Any pointers / materials ?

edited Apr 9 at 11:50

cody

11.5k34 silver badges66 bronze badges

asked Apr 9 at 9:45

cypher

1071 bronze badge

$\begingroup$ I'm on the fence about this question. On one hand, it is a basic question, on the other there are some very popular questions on mathoverflow of the same bent: mathoverflow.net/questions/18794/how-to-start-game-theory mathoverflow.net/questions/1291/… mathoverflow.net/questions/83869/… Do we really want to disallow these types of questions? $\endgroup$ – cody Apr 9 at 13:34
2

$\begingroup$ What's wrong with just moving it over to CS.SE? $\endgroup$ – Andrej Bauer Apr 9 at 15:45
1

$\begingroup$ Either is fine, but I think questions of the style "what is a roadmap for learning X", where X is a field of computer science, should be on-topic here, as they are on mathoverflow. $\endgroup$ – cody Apr 9 at 20:19
$\begingroup$ @cypher You might be interested in the Rosette language: emina.github.io/rosette $\endgroup$ – jmite Jul 28 at 17:04

add a comment |

0 Your Answer

Sign up or log in

Post as a guest

Name

Required, but never shown

Post as a guest

Name

Required, but never shown

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Stack Exchange Network

current community

your communities

more stack exchange communities

How to get started with program synthesis

0

Your Answer

Browse other questions tagged reference-request pl.programming-languages or ask your own question.

Hot Network Questions

How to get started with program synthesis

0

Know someone who can answer? Share a link to this question via email, Twitter, or Facebook.

Your Answer

Sign up or log in

Post as a guest

Browse other questions tagged reference-request pl.programming-languages or ask your own question.

Related

Hot Network Questions