{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:43:49Z","timestamp":1780994629758,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642106712","type":"print"},{"value":"9783642106729","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10672-9_3","type":"book-chapter","created":{"date-parts":[[2009,12,2]],"date-time":"2009-12-02T09:08:11Z","timestamp":1259744891000},"page":"4-13","source":"Crossref","is-referenced-by-count":100,"title":["The Sketching Approach to Program Synthesis"],"prefix":"10.1007","author":[{"given":"Armando","family":"Solar-Lezama","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"The art of multiprocessor programming","author":"M. Herlihy","year":"2008","unstructured":"Herlihy, M., Shavit, N.: The art of multiprocessor programming. Morgan Kaufmann, San Francisco (2008)"},{"key":"3_CR2","unstructured":"Solar-Lezama, A.: Program Synthesis By Sketching. PhD thesis, EECS Dept., UC Berkeley (2008)"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1145\/1250734.1250754","volume-title":"PLDI 2007: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation","author":"A. Solar-Lezama","year":"2007","unstructured":"Solar-Lezama, A., Arnold, G., Tancau, L., Bodik, R., Saraswat, V., Seshia, S.: Sketching stencils. In: PLDI 2007: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, vol.\u00a042, pp. 167\u2013178. ACM, New York (2007)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Solar-Lezama, A., Jones, C., Arnold, G., Bod\u00edk, R.: Sketching concurrent datastructures. In: PLDI 2008 (2008)","DOI":"10.1145\/1375581.1375599"},{"key":"3_CR5","volume-title":"ASPLOS 2006","author":"A. Solar-Lezama","year":"2006","unstructured":"Solar-Lezama, A., Tancau, L., Bodik, R., Saraswat, V., Seshia, S.: Combinatorial sketching for finite programs. In: ASPLOS 2006, San Jose, CA, USA. ACM Press, New York (2006)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Srivastava, S., Gulwani, S., Jeffrey, F.: From program verification to program synthesis. Submitted to POPL (2010)","DOI":"10.1145\/1706299.1706337"},{"issue":"6","key":"3_CR7","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1145\/1379022.1375598","volume":"43","author":"M. Vechev","year":"2008","unstructured":"Vechev, M., Yahav, E.: Deriving linearizable fine-grained concurrent objects. SIGPLAN Not.\u00a043(6), 125\u2013135 (2008)","journal-title":"SIGPLAN Not."}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10672-9_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:33:17Z","timestamp":1606185197000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10672-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642106712","9783642106729"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10672-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}