{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:21:16Z","timestamp":1725484876767},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677970"},{"type":"electronic","value":"9783540449577"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_6","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T05:24:41Z","timestamp":1180675481000},"page":"87-100","source":"Crossref","is-referenced-by-count":7,"title":["Logic Program Synthesis in a Higher-Order Setting"],"prefix":"10.1007","author":[{"given":"David","family":"Lacey","sequence":"first","affiliation":[]},{"given":"Julian","family":"Richardson","sequence":"additional","affiliation":[]},{"given":"Alan","family":"Smail","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"6_CR1","unstructured":"David Basin, Alan Bundy, Ina Kraan, and Sean Matthews. A framework for program development based on schematic proof. In Proceedings of the 7th International Workshop on Software Specification and Design (IWSSD-93), 1993. Also available as Max-Planck-Institut f\u00fcr Informatik Report MPI-I-93-231 and Edinburgh DAI Research Report 654."},{"key":"6_CR2","unstructured":"A. Bundy, A. Smaill, and J. Hesketh. Turning eureka steps into calculations in automatic program synthesis. In S. L.H. Clarke, editor, Proceedings of UK IT 90, pages 221\u20136. IEE, 1990. Also available from Edinburgh as DAI Research Paper 448."},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0004-3702(93)90079-Q","volume":"62","author":"A. Bundy","year":"1993","unstructured":"A. Bundy, A. Stevens, F. van Harmelen, A. Ireland, and A. Smaill. Rippling: A heuristic for guiding inductive proofs. Artificial Intelligence, 62:185\u2013253, 1993. Also available from Edinburgh as DAI Research Paper No. 567.","journal-title":"Artificial Intelligence"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"A. Felty. A logic programming approach to implementing higher-order term rewriting. In L-H Eriksson et al., editors, Second International Workshop on Extensions to Logic Programming, volume 596 of Lecture Notes in Artificial Intelligence, pages 135\u201361. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0013606"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Bernd Fischer and Jon Whittle. An integration of deductive retrieval into deductive synthesis. In Proceedings of the 14th IEEE International Conference on Automated Software Engineering (ASE\u201999), pages 52\u201361, Cocoa Beach, Florida, USA, October 1999.","DOI":"10.1109\/ASE.1999.802092"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"P. Flener and Y. Deville. Logic program synthesis from incomplete specifications. Journal of Symbolic Computation: Special Issue on Automatic Programming, 1993.","DOI":"10.1016\/S0747-7171(06)80012-X"},{"key":"6_CR7","unstructured":"P. Flener and J. D. C. Richardson. A unified view of programming schemas and proof methods. In LOPSTR\u2019 99: Preproceedings of the Ninth International Workshop on Logic Program Synthesis and Transformation, Venice, Italy, September 1999, 1999."},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"T. Gegg-Harrison. Representing logic program schemata in lambdaprolog. Technical report, Dept Computer Science, Winona State University, 1995.","DOI":"10.7551\/mitpress\/4298.003.0049"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"J. Haas and B. Jayaraman. From context-free to definite-clause grammars: A type-theoretic approach. Journal of Logic Programming, 30, 1997.","DOI":"10.1016\/S0743-1066(96)00015-5"},{"key":"6_CR10","unstructured":"J. Hannan and D. Miller. Uses of higher-order unification for implementing program transformers. In R. A. Kowalski and K. A. Bowen, editors, Proceedings of the Fifth International Conference and Symposium, pages 942\u201359. MIT Press, 1988."},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/BF00264598","volume":"11","author":"G. Huet","year":"1978","unstructured":"G. Huet and B. Lang. Proving and applying program transformation expressed with second order patterns. Acta Informatica, 11:31\u201355, 1978.","journal-title":"Acta Informatica"},{"key":"6_CR12","unstructured":"I. Kraan. Proof Planning for Logic Program Synthesis. PhD thesis, Department of Artificial Intelligence, University of Edinburgh, 1994."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"I. Kraan, D. Basin, and A. Bundy. Logic program synthesis via proof planning. In K. K. Lau and T. Clement, editors, Logic Program Synthesis and Transformation, pages 1\u201314. Springer-Verlag, 1993. Also available as Max-Planck-Institut f\u00fcr Informatik Report MPI-I-92-244 and Edinburgh DAI Research Report 603.","DOI":"10.1007\/978-1-4471-3560-9_1"},{"key":"6_CR14","unstructured":"I. Kraan, D. Basin, and A. Bundy. Middle-out reasoning for logic program synthesis. In D. S. Warren, editor, Proceedings of the Tenth International Conference on Logic Programming. MIT Press, 1993. Also available as Max-Planck-Institut f\u00fcr Informatik Report MPI-I-93-214 and Edinburgh DAI Research Report 638."},{"key":"6_CR15","series-title":"Lect Notes Comput Sci","first-page":"295","volume-title":"LOPSTR\u2019 96","author":"K.-K. Lau","year":"1996","unstructured":"K.-K. Lau and M. Ornaghi. Forms of logic specifications. A preliminary study. In J. Gallagher, editor, LOPSTR\u2019 96, number 1207 in Lecture Notes in Computer Science, pages 295\u2013312. Springer-Verlag, 1996."},{"key":"6_CR16","unstructured":"K.-K. Lau and S.D. Prestwich. Top-down synthesis of recursive logic procedures from first-order logic specifications. In D.H.D. Warren and P. Szeredi, editors, Proc. 7 th Int. Conf. on Logic Programming, pages 667\u2013684. MIT Press, 1990."},{"key":"6_CR17","unstructured":"K.-K. Lau and S.D. Prestwich. Synthesis of a family of recursive sorting procedures. In V. Saraswat and K. Ueda, editors, Proc. 1991 Int. Logic Programming Symposium, pages 641\u2013658. MIT Press, 1991."},{"key":"6_CR18","unstructured":"D. Miller. A logic programming language with lambda abstraction, function variables and simple unification. Technical Report MS-CIS-90-54, Department of Computer and Information Science, University of Pennsylvania, 1990. Appeared in Extensions of Logic Programming, edited by P. Schr\u00f6der-Heister, Lecture Notes in Artificial Intelligence, Springer-Verlag."},{"key":"6_CR19","unstructured":"D. Miller and G. Nadathur. An overview of \u03bbProlog. In R. Bowen, K. & Kowalski, editor, Proceedings of the Fifth International Logic Programming Conference\/Fifth Symposium on Logic Programming. MIT Press, 1988."},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"J.D.C Richardson, A. Smaill, and Ian Green. System description: proof planning in higher-order logic with lambdaclam. In Claude Kirchner and H\u00e9l\u00e9ne Kirchner, editors, 15th International Conference on Automated Deduction, volume 1421 of Lecture Notes in Artificial Intelligence, Lindau, Germany, July 1998.","DOI":"10.1007\/BFb0054239"},{"key":"6_CR21","series-title":"Lect Notes Comput Sci","first-page":"175","volume-title":"Proceedings of LoPSTr\u201995, Fifth International Workshop on Logic Program Synthesis and Transformation","author":"W. W. Vasconcelos","year":"1996","unstructured":"W. W. Vasconcelos and N.E. Fuchs. An opportunistic approach for logic program analysis and optimisation using enhanced schema-based transformations. In Proceedings of LoPSTr\u201995, Fifth International Workshop on Logic Program Synthesis and Transformation, Utrecht, Netherlands, volume 1048 of Lecture Notes in Computer Science, pages 175\u2013188. Springer Verlag, 1996."}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T18:19:33Z","timestamp":1707934773000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}