{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,5,27]],"date-time":"2022-05-27T22:43:33Z","timestamp":1653691413759},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2021,11]]},"DOI":"10.1007\/s10703-021-00386-0","type":"journal-article","created":{"date-parts":[[2022,2,28]],"date-time":"2022-02-28T17:02:52Z","timestamp":1646067772000},"page":"469-470","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Special Issue on Syntax-Guided Synthesis Preface"],"prefix":"10.1007","volume":"58","author":[{"given":"Dana","family":"Fisman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rishabh","family":"Singh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armando","family":"Solar-Lezama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,2,28]]},"reference":[{"key":"386_CR1","series-title":"NATO science for peace and security series, D: information and communication Security","first-page":"1","volume-title":"Dependable software systems engineering","author":"R Alur","year":"2015","unstructured":"Alur R, Bod\u00edk R, Dallal E, Fisman D, Garg P, Juniwal G, Kress-Gazit H, Madhusudan P, Martin MMK, Raghothaman M, Saha S, Seshia SA, Singh R, Solar-Lezama A, Torlak E, Udupa A (2015) Syntax-guided synthesis. In: Irlbeck M, Peled DA, Pretschner A (eds) Dependable software systems engineering, vol 40. NATO science for peace and security series, D: information and communication Security. Amsterdam, IOS Press, pp 1\u201325"},{"issue":"12","key":"386_CR2","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/3208071","volume":"61","author":"R Alur","year":"2018","unstructured":"Alur R, Singh R, Fisman D, Solar-Lezama A (2018) Search-based program synthesis. Commun ACM 61(12):84\u201393","journal-title":"Commun ACM"},{"issue":"4","key":"386_CR3","doi-asserted-by":"publisher","first-page":"289","DOI":"10.2307\/2271310","volume":"28","author":"Alonzo Church","year":"1963","unstructured":"Church Alonzo (1963) Application of recursive arithmetic to the problem of circuit synthesis. J Symbol Logic 28(4):289\u2013290","journal-title":"J Symbol Logic"},{"issue":"1","key":"386_CR4","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/s10703-017-0269-8","volume":"50","author":"J Jeon","year":"2017","unstructured":"Jeon J, Qiu X, Solar-Lezama A, Foster JS (2017) An empirical study of adaptive concretization for parallel program synthesis. Formal Methods Syst Des 50(1):75\u201395","journal-title":"Formal Methods Syst Des"},{"issue":"3","key":"386_CR5","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/362566.362568","volume":"14","author":"Z Manna","year":"1971","unstructured":"Manna Z, Waldinger Richard J (1971) Toward automatic program synthesis. Commun ACM 14(3):151\u2013165","journal-title":"Commun ACM"},{"issue":"1","key":"386_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10703-016-0267-2","volume":"55","author":"Aleksandar Milicevic","year":"2019","unstructured":"Milicevic Aleksandar, Near Joseph P, Kang Eunsuk, Jackson Daniel (2019) Alloy*: a general-purpose higher-order relational constraint solver. Formal Methods Syst Des 55(1):1\u201332","journal-title":"Formal Methods Syst Des"},{"key":"386_CR7","doi-asserted-by":"crossref","unstructured":"Pnueli A, Rosner R: A framework for the synthesis of reactive modules. In: Friedrich\u00a0H Vogt, editor, Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings, volume 335 of Lecture Notes in Computer Science, pages 4\u201317 Springer, (1988)","DOI":"10.1007\/3-540-50403-6_28"},{"issue":"2","key":"386_CR8","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/s10703-017-0270-2","volume":"55","author":"A Reynolds","year":"2019","unstructured":"Reynolds A, Kuncak V, Tinelli C, Barrett CW, Deters Morgan (2019) Refutation-based synthesis in SMT. Formal Methods Syst Des 55(2):73\u2013102","journal-title":"Formal Methods Syst Des"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-021-00386-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10703-021-00386-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-021-00386-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,27]],"date-time":"2022-05-27T22:04:17Z","timestamp":1653689057000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10703-021-00386-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11]]},"references-count":8,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,11]]}},"alternative-id":["386"],"URL":"https:\/\/doi.org\/10.1007\/s10703-021-00386-0","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,11]]},"assertion":[{"value":"10 December 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 February 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}