{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:11:56Z","timestamp":1725631916667},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540517436"},{"type":"electronic","value":"9783642751004"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/978-3-642-75100-4_40","type":"book-chapter","created":{"date-parts":[[2011,11,9]],"date-time":"2011-11-09T13:09:29Z","timestamp":1320844169000},"page":"348-357","source":"Crossref","is-referenced-by-count":0,"title":["XPRTS An Implementation Tool for Program Synthesis"],"prefix":"10.1007","author":[{"given":"Gerd","family":"Neugebauer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bertram","family":"Fronh\u00f6fer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Kreitz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"40_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61807-9","volume-title":"Algorithmic Language and Program Development","author":"FL Bauer","year":"1982","unstructured":"F.L. Bauer and H. W\u00f6ssner. Algorithmic Language and Program Development. Springer Verlag, New York (1982)"},{"key":"40_CR2","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/0004-3702(80)90050-8","volume":"14","author":"W Bibel","year":"1980","unstructured":"W. Bibel. Syntax-Directed, Semantics-Supported Program Synthesis. Artificial Intelligence 14 (1980), 243\u2013261","journal-title":"Artificial Intelligence"},{"key":"40_CR3","first-page":"69","volume-title":"Automatic Program Construction Techniques","author":"W Bibel","year":"1984","unstructured":"W. Bibel and K.M. H\u00f6rnig. LOPS - A System Based On a Strategical Approach to Program Synthesis, in: Alan W. Biermann and Gerard Guiho and Yves Kodratoff (eds.), Automatic Program Construction Techniques. Macmillan Publ. Comp., New York 1984, 69\u201389."},{"key":"40_CR4","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"RM Burstall","year":"1975","unstructured":"R.M. Burstall and J. Darlington. A transformation system for developing recursive programs. J.ACM 24 (1975), pp. 44\u201367","journal-title":"J. ACM"},{"key":"40_CR5","first-page":"41","volume-title":"Information Processing","author":"M Franova","year":"1986","unstructured":"M. Franova. Proving Theorems by Construction of Valid Formulae, in H.J. Kugler (ed.): Information Processing 86, pp. 41\u201347, North Holland, Amsterdam 1986"},{"key":"40_CR6","first-page":"577","volume-title":"ECAI-84. 6th European Conference on Artificial Intelligence","author":"B Fronh\u00f6fer","year":"1984","unstructured":"B. Fronh\u00f6fer. Heuristics for Recursion Improvement, in T. O\u2019Shea (ed.): ECAI-84. 6th European Conference on Artificial Intelligence, pp. 577\u2013580, North Holland, Amsterdam 1984."},{"key":"40_CR7","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1007\/978-3-642-46552-9_19","volume-title":"\u00d6sterreichische Artificial Intelligence Tagung","author":"B Fronh\u00f6fer","year":"1985","unstructured":"B. Fronh\u00f6fer. The LOPS-Approach: Towards New Syntheses of Algorithms, in: H. Trost and J. Retti (eds.), \u00d6sterreichische Artificial Intelligence Tagung. Springer, Berlin 1985, 164\u2013172."},{"key":"40_CR8","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1145\/322248.322258","volume":"28","author":"CJ Hogger","year":"1981","unstructured":"C.J. Hogger. Derivation of Logic Programs. Journal ACM 28 (1981), 372\u2013392","journal-title":"Journal ACM"},{"key":"40_CR9","unstructured":"Z. Manna and R. Waldinger A Deductive Approach tp Program Synthesis. ACM Transactions on Programming Languages and Systems 2 (1) (1980), pp. 90\u2013121."},{"key":"40_CR10","volume-title":"Synthesis of Sorting Algorithms with the LOPS-Approach","author":"G Neugebauer","year":"1986","unstructured":"G. Neugebauer. Synthesis of Sorting Algorithms with the LOPS-Approach. Technische Universit\u00e4t M\u00fcnchen 1986, Report ATP-56-III-86"},{"key":"40_CR11","volume-title":"Users Manual for XPRTS","author":"G Neugebauer","year":"1987","unstructured":"G. Neugebauer. Users Manual for XPRTS. Technische Universit\u00e4t M\u00fcnchen 1987, Report ATP-78-IX-87"},{"key":"40_CR12","unstructured":"D.R. Smith. KIDS - A Knowledge-Based Software Development System, in: Proceedings of the Workshop on Automating Software Design, AAAI-88, 182\u2013189"}],"container-title":["Informatik-Fachberichte","GWAI-89 13th German Workshop on Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-75100-4_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T21:30:01Z","timestamp":1606253401000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-75100-4_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540517436","9783642751004"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-75100-4_40","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1989]]}}}