flâneur — a map of the web's best reading

Program Synthesis Explained — James Bornholt

cs.utexas.edu · 3,744 words · saved by 1 readers

An introduction to the field of program synthesis, the idea that computers can write programs automatically if we just tell them what we want.

Program Synthesis Explained — James Bornholt 6 January 2015 Program Synthesis Explained Professor Luis Ceze is a great adviser, but he has one well-hidden, shameful secret: his PhD is in computer architecture . 1 I’m working on correcting this grave misjudgement by surrounding him with experts in programming languages . But it’s time to make my own contribution, with part 1 of my 1,009-part series, Programming Languages for Computer Architecture Professors . Today, we’ll tackle program synthesis . 2 If you just want to build a program synthesizer, I have a quick tutorial on that too. Synthesis

Explore this link on the map →

saved by

related reading