{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:20:02Z","timestamp":1725484802641},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430759"},{"type":"electronic","value":"9783540455752"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45575-2_17","type":"book-chapter","created":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T01:30:22Z","timestamp":1180575022000},"page":"157-164","source":"Crossref","is-referenced-by-count":1,"title":["Automated Program Synthesis for Java Programming Language"],"prefix":"10.1007","author":[{"given":"Mait","family":"Harf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kristiina","family":"Kindel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vahur","family":"Kotkas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peep","family":"K\u00fcngas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enn","family":"Tyugu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"key":"17_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1007\/3-540-11157-3_31","volume-title":"The structural synthesis of programs","author":"E. Tyugu","year":"1981","unstructured":"E. Tyugu. The structural synthesis of programs, Lecture Notes in Computer Sciences, Vol. 122, 1981, pp. 290\u2013303."},{"key":"17_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Deductive Composition of Astronomical Software from Suroutine Libraries","author":"M. Stickel","year":"1994","unstructured":"M. Stickel, R. Waldinger, M. Lowry, T. Pressburger, I. Underwood. Deductive Composition of Astronomical Software from Suroutine Libraries. In: 12th Conference on Automated Deduction. A. Bundy, (ed). Springer-Verlag Lecture Notes in Computer Science, Vol. 814, 1994."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"S. Vinoski,CORBA: Integrating Diverse Applications Within Distributed Heterogeneous Environments. IEEE Communications Magazine, Vol. 14, No. 2, February 1997.","DOI":"10.1109\/35.565655"},{"key":"17_CR4","unstructured":"S. L\u00e4mmermann. Automated Composition of Java Software, thesis, Department of Teleinformatics, Royal Institute of Technology, Sweden, May 2000."},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"V. Kotkas, J. Penjam. Ontology-based design of surveillance systems with NUT. Proceedings of the Third International Conference on Information Fusion, Paris, Vol. 2, 2000.","DOI":"10.1109\/IFIC.2000.859828"},{"issue":"11","key":"17_CR6","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/2.881695","volume":"33","author":"D. Budgen","year":"2000","unstructured":"D. Budgen, P. Brereton. Component-Based Systems: A Classification of Issues. Computer (IEEE CS), November 2000, Vol. 33, No. 11, pp. 54\u201362.","journal-title":"Computer (IEEE CS)"},{"key":"17_CR7","first-page":"165","volume":"6","author":"M. Harf","year":"1980","unstructured":"M. Harf, E. Tyugu. Algorithms of structured synthesis of programs. Programming and Computer Software, Vol. 6, 1980, pp. 165\u2013175.","journal-title":"Programming and Computer Software"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45575-2_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T01:24:05Z","timestamp":1550366645000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45575-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430759","9783540455752"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-45575-2_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}