Modular Synthesis of Sketches Using Models
One problem with the constraint-based approaches to synthesis that have become popular over the last few years is that they only scale to relatively small routines, on the order of a few dozen lines of code. This paper presents a mechanism for modular reasoning that allows us to break larger synthes...
| Huvudupphovsmän: | , , , , |
|---|---|
| Övriga upphovsmän: | |
| Materialtyp: | Artikel |
| Språk: | en_US |
| Publicerad: |
Springer-Verlag
2014
|
| Länkar: | http://hdl.handle.net/1721.1/91156 https://orcid.org/0000-0002-8427-3895 https://orcid.org/0000-0001-7604-8252 https://orcid.org/0000-0002-6931-2278 |