Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
Davidbrcz
on Dec 5, 2017
|
parent
|
context
|
favorite
| on:
Barliman – real-time program synthesis to make the...
You could read "Syntax-Guided Synthesis" by ALUR and al. There is here (
http://resources.mpi-inf.mpg.de/departments/rg1/conferences/...
) a presentation he did at a summer school last summer.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
