- Record: found
- Abstract: not found
- Book Chapter: not found
Tools and Algorithms for the Construction and Analysis of Systems
Scaling Enumerative Program Synthesis via Divide and Conquer
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references21
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Combinatorial sketching for finite programs
Armando Solar-Lezama, Liviu Tancau, Rastislav Bodik … (2006)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Automating string processing in spreadsheets using input-output examples
Sumit Gulwani (2011)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Syntax-guided synthesis
Mukund Raghothaman, Sanjit Seshia, Abhishek Udupa … (2013)