{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:43:16Z","timestamp":1725601396406},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540068594"},{"type":"electronic","value":"9783540378198"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1974]]},"DOI":"10.1007\/3-540-06859-7_127","type":"book-chapter","created":{"date-parts":[[2011,8,18]],"date-time":"2011-08-18T15:52:56Z","timestamp":1313682776000},"page":"88-108","source":"Crossref","is-referenced-by-count":1,"title":["Top-down approach to the synthesis of programs"],"prefix":"10.1007","author":[{"given":"G.","family":"Degli Antoni","sequence":"first","affiliation":[]},{"given":"P. A.","family":"Miglioli","sequence":"additional","affiliation":[]},{"given":"M.","family":"Ornaghi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"9_CR1","unstructured":"S.C. Kleene, Mathematical Logic, Wiley and Sons."},{"key":"9_CR2","unstructured":"M. Davis, Computability and Unsolvability, Mc Graw Hill, New York."},{"key":"9_CR3","unstructured":"J. Shoenfield, Mathematical Logic, Addison Wesley"},{"key":"9_CR4","unstructured":"R.L. Constable, Constructive Mathematics and Automatic Program Writers, IFIP congress 1971"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"E.W.Dijkstra, A Constructive Approach to the Problem of Program Correctness, B.I.T., Vol. 8.","DOI":"10.1007\/BF01933419"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"R.W. Floyd, Assigning Meanings to Programs, Proceedings of a Symposium in Applied Mathematics, Vol. 19, Mathematical Aspects of Computer Science, American Mathematical Society.","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"C.A. Hoare, An Axiomatic Basis of Computer Programming, Com. ACM, Vol. 12, No 10, 1969","DOI":"10.1145\/363235.363259"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Z. Manna, The Correctness of Programs, Journal of Comp. and Systm. Science, Vol. 3, No 2 1969","DOI":"10.1016\/S0022-0000(69)80009-7"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Z. Manna, R. Waldingher, Towards Automatic Program Synthesis, Symposium on Semantic of Algorithmic Languages, Lecture Notes in Mathematics, Springer-Verlag, 1971","DOI":"10.1007\/BFb0059702"},{"key":"9_CR10","unstructured":"D. Marini, P.A. Miglioli, Characterization of Programs and their Synthesis from a formalized Theory, Proceedings of a Symposium on Mathematical Foundations of Computer Science, High Tatras."},{"key":"9_CR11","unstructured":"The Problem of Synthesis in Kleene's Intuitionistic Number Theory, To appear"}],"container-title":["Lecture Notes in Computer Science","Programming Symposium"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-06859-7_127.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:56:21Z","timestamp":1605642981000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-06859-7_127"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1974]]},"ISBN":["9783540068594","9783540378198"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-06859-7_127","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1974]]}}}