{"indexed":{"date-parts":[[2017,10,26]],"date-time":"2017-10-26T02:53:45Z","timestamp":1508986425690},"publisher-location":"Berlin, Heidelberg","reference-count":0,"publisher":"Springer Berlin Heidelberg","content-domain":{"domain":[],"crossmark-restriction":false},"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11506676_11","type":"chapter","created":{"date-parts":[[2010,7,18]],"date-time":"2010-07-18T16:07:52Z","timestamp":1279469272000},"page":"166-181","source":"Crossref","is-referenced-by-count":1,"title":"Schema-Guided Synthesis of Imperative Programs by Constraint Solving","prefix":"10.1007","author":[{"given":"Michael A.","family":"Col\u00f3n","affiliation":[]}],"member":"297","container-title":"Logic Based Program Synthesis and Transformation","original-title":[],"link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/11506676_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T15:33:03Z","timestamp":1389022383000},"score":1.0,"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540266556","9783540316831"],"references-count":0,"URL":"http:\/\/dx.doi.org\/10.1007\/11506676_11","relation":{},"ISSN":["0302-9743","1611-3349"]}