{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:07:58Z","timestamp":1725890878953},"publisher-location":"London","reference-count":6,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198062"},{"type":"electronic","value":"9781447135609"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3560-9_6","type":"book-chapter","created":{"date-parts":[[2012,12,30]],"date-time":"2012-12-30T06:49:46Z","timestamp":1356850186000},"page":"80-81","source":"Crossref","is-referenced-by-count":0,"title":["The LOPS Approach: A Transformational Point of View"],"prefix":"10.1007","author":[{"given":"Gerd","family":"Neugebauer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/0004-3702(80)90050-8","volume":"14","author":"W Bibel","year":"1980","unstructured":"Wolfgang Bibel. Syntax-directed, semantics-supported program synthesis. Artificial Intelligence, 14: 243 - 261, 1980.","journal-title":"Artificial Intelligence"},{"key":"6_CR2","volume-title":"Automating Software Design","author":"W Bibel","year":"1991","unstructured":"Wolfgang Bibel. Concurrent software production. In Michael R. Lowry and Robert McCartney, editors, Automating Software Design. AAAI Press, Menlo Park CA, 1991."},{"key":"6_CR3","first-page":"69","volume-title":"Automatic Program Construction Techniques, chapter 3","author":"W Bibel","year":"1984","unstructured":"Wolfgang Bibel and K.M. H\u00f4rnig. LOPS \u2014 A system based on a strategical approach to program synthesis. In Alan W. Biermann, Gerard Guiho, and Yves Kodratoff, editors, Automatic Program Construction Techniques, chapter 3, pages 69 - 89. MacMillan, New York, 1984."},{"issue":"1","key":"6_CR4","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"RM Burstall","year":"1977","unstructured":"R.M. Burstall and John Darlington. A transformation system for developing recursive programs. Journal of the Association for Computing Machinery, 24 (l): 44 - 67, 1977.","journal-title":"Journal of the Association for Computing Machinery"},{"issue":"4","key":"6_CR5","first-page":"294","volume":"5","author":"Z Manna","year":"1979","unstructured":"Zohar Manna and Richard J. Waldinger. Synthesis: Dreams \u21d2 programs. IEEE Transactions on Software Engeneering, SE-5(4): 294 - 328, July 1979.","journal-title":"Bot J Scotl"},{"key":"6_CR6","volume-title":"Pragmatische Programmsynthese","author":"G Neugebauer","year":"1992","unstructured":"Gerd Neugebauer. Pragmatische Programmsynthese. DISKI. Infix Verlag, 1992. To appear."}],"container-title":["Workshops in Computing","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3560-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T03:07:45Z","timestamp":1557457665000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3560-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198062","9781447135609"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3560-9_6","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}