{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:26:18Z","timestamp":1725636378768},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540531326"},{"type":"electronic","value":"9783642760716"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/978-3-642-76071-6_19","type":"book-chapter","created":{"date-parts":[[2011,11,22]],"date-time":"2011-11-22T18:16:55Z","timestamp":1321985815000},"page":"171-180","source":"Crossref","is-referenced-by-count":0,"title":["The Representation of Program Synthesis in Higher Order Logic"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Kreitz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","volume-title":"An Introduction to mathematical logic and Type Theory: To Truth through Proof","author":"P Andrews","year":"1986","unstructured":"Peter Andrews. An Introduction to mathematical logic and Type Theory: To Truth through Proof. Academic Press, Orlando, 1986."},{"issue":"1","key":"19_CR2","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1145\/2363.2528","volume":"7","author":"J Bates","year":"1985","unstructured":"Joe Bates and Robert L. Constable. Proofs as programs. ACM Transactions on Programming Languages and Systems, 7(1):113\u2013136, January 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"19_CR3","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"RM Burstall","year":"1977","unstructured":"R.M. Burstall and J. Darlington. A transformation system for developing recursive programs. Journal of the Association for Computing Machinery, 24(1):44\u201367, 1977.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"19_CR4","first-page":"69","volume-title":"Automatic program construction techniques, chapter 3","author":"W Bibel","year":"1984","unstructured":"Wolfgang Bibel and K. M. H\u00f6rnig. LOPS \u2014 a system based on a strategical approach to program synthesis. In A. Biermann, G. Guiho, and Y. KodratofF, editors, Automatic program construction techniques, chapter 3, pages 69\u201389. MacMillan, New York, 1984."},{"issue":"3","key":"19_CR5","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(3):243\u2013261, October 1980.","journal-title":"Artificial Intelligence"},{"key":"19_CR6","volume-title":"Implementing Mathematics with the Nu PRL proof development system","author":"RL Constable","year":"1986","unstructured":"Robert L. Constable, Stuart F. Allen, H. Mark Bromley, W. Ranee Cleaveland, J. F. Cremer, Robert W. Harper, Douglas J. Howe, Todd B. Knoblock, Nax Paul Mendler, Prakash Panangaden, Jim T. Sasaki, and Stuart F. Smith. Implementing Mathematics with the Nu PRL proof development system. Prentice Hall, 1986."},{"key":"19_CR7","first-page":"56","volume":"5","author":"A Church","year":"1940","unstructured":"Alonzo Church. A formulation of the simple theory of types. Journal of Symbolic Computation, 5:56\u201368, 1940.","journal-title":"Journal of Symbolic Computation"},{"key":"19_CR8","volume-title":"IJCAI-85","author":"N Dershowitz","year":"1985","unstructured":"Nachum Dershowitz. Synthesis by completion. In IJCAI-85, pages 208\u2013214, Los Angeles, 18\u201323 August 1985."},{"key":"19_CR9","volume-title":"A discipline of Programming","author":"EW Dijkstra","year":"1976","unstructured":"Edsger W. Dijkstra. A discipline of Programming. Prentice-Hall, Englewood Cliffs, NJ, 1976."},{"key":"19_CR10","doi-asserted-by":"crossref","first-page":"568","DOI":"10.1007\/3-540-15984-3_330","volume-title":"EUROCAL 85","author":"M Franova","year":"1985","unstructured":"Marta Franova. A methodology for automatic programming based on the constructive matching strategy. In EUROCAL 85, pages 568\u2013570. Springer, 1985."},{"key":"19_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09724-4","volume-title":"Edinburgh LCF: A mechanized Logic of Computation","author":"MJ Gordon","year":"1979","unstructured":"Michael J. Gordon, Robin Milner, and Christopher P. Wadsworth. Edinburgh LCF: A mechanized Logic of Computation. Springer Verlag, 1979."},{"key":"19_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"The science of programming","author":"D Gries","year":"1981","unstructured":"David Gries.The science of programming. Springer Verlag, 1981."},{"issue":"2","key":"19_CR13","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1145\/322248.322258","volume":"28","author":"CJ Hogger","year":"1981","unstructured":"C.J. Hogger. Derivation of logic programs. Journal of the Association for Computing Machinery, 28(2):372\u2013392, 1981.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"19_CR14","first-page":"153","volume-title":"Constructive mathematics and computer programming","author":"P Martin-L\u00f6f","year":"1982","unstructured":"Per Martin-L\u00f6f. Constructive mathematics and computer programming. In 6-th International Congress for Logic, Methodology and Philosophy of Science, 1979, pages 153\u2013175, Amsterdam, 1982. North-Holland."},{"issue":"4","key":"19_CR15","first-page":"294","volume":"5","author":"Z Manna","year":"1979","unstructured":"Zohar Manna and Richard Waldinger. Synthesis: Dreams => programs. IEEE Transactions of Software Engineering, SE-5(4):294\u2013328, 1979.","journal-title":"SE"},{"issue":"1","key":"19_CR16","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/357084.357090","volume":"2","author":"Z Manna","year":"1980","unstructured":"Z. Manna and Richard Waldinger. A deductive approach to program synthesis. ACM Transactions on Programming Languages and Systems, 2(1):90\u2013121, 1980.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"19_CR17","volume-title":"Technical Report","author":"LC Paulson","year":"1987","unstructured":"Lawrence C. Paulson. The representation of logics in higher-order logic. Technical Report 113, University of Cambridge. Computer Laboratory, August 1987."},{"key":"19_CR18","first-page":"129","volume-title":"KIDS \u2014 a knowledge-based software development system","author":"DR Smith","year":"1988","unstructured":"Douglas R. Smith and Michael R. Lowry. KIDS \u2014 a knowledge-based software development system. In Proc. AAAI Workshop on Automated Software Design, pages 129\u2013136, August 1988."},{"key":"19_CR19","first-page":"379","volume-title":"Algorithm design and design tactics","author":"DR Smith","year":"1989","unstructured":"Douglas R. Smith and Michael R. Lowry. Algorithm design and design tactics. In Proc. of the International Conference on the Mathematics of Program Construction, pages 379\u2013398. Springer Verlag, June 1989."}],"container-title":["Informatik-Fachberichte","GWAI-90 14th German Workshop on Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-76071-6_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T03:03:04Z","timestamp":1606273384000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-76071-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540531326","9783642760716"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-76071-6_19","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1990]]}}}