{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:46Z","timestamp":1725663346158},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540517344"},{"type":"electronic","value":"9783540467984"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51734-0_51","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:15:15Z","timestamp":1330204515000},"page":"45-59","source":"Crossref","is-referenced-by-count":1,"title":["Why and how program synthesis?"],"prefix":"10.1007","author":[{"given":"Yves","family":"Kodratoff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marta","family":"Franova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Derek","family":"Partridge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"3_CR1","unstructured":"W. W. Agresti: New Paradigms for Software Development; IEEE Computer Society Press, North-Holland, Washington, DC."},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"S. Amarel: On Representations of Problems of Reasoning about Actions; [webber01], 2\u201322.","DOI":"10.1016\/B978-0-934613-03-3.50006-4"},{"issue":"2","key":"3_CR3","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1145\/357162.357171","volume":"4","author":"J. Arsac","year":"1982","unstructured":"J. Arsac, Y. Kodratoff: Some Techniques for Recursion Removal from Recursive Functions; ACM Transactions on Programming Languages and Systems, Vol. 4, No. 2, April, 1982, 295\u2013322.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR4","unstructured":"N. Azibi: TREQUASI: Un syst\u00e8me pour la transformation automatique de programmes PROLOG r\u00e9cursifs en quasi-it\u00e9ratifs; Thesis, Univ. de Paris Sud, Centre d'Orsay, 1987."},{"key":"3_CR5","unstructured":"W. Bibel, K. M. Hoernig: LOPS \u2014 A System Based on a Strategical Approach to Program Synthesis; [biermann01], 1984, 69\u201391."},{"volume-title":"Automatic Program Construction Techniques","year":"1984","key":"3_CR6","unstructured":"A. Biermann, G. Guiho, Y. Kodratoff (ed): Automatic Program Construction Techniques; Macmillan Publishing Company, London, 1984."},{"key":"3_CR7","unstructured":"A. Biermann: Some Examples of Program Synthesis; [biermann01], 1984, 553\u2013562."},{"key":"3_CR8","unstructured":"S. Biundo, Frantisek Zboray: Existence proofs by induction using methods of program synthesis; Interner Bericht 16\/84, Universitat Karlsruhe, 1984."},{"issue":"1","key":"3_CR9","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R. M. Burstall","year":"1977","unstructured":"R.M. Burstall, J. Darlington: A transformation system for developping recursive programs; J.ACM 24, 1, January, 1977, 44\u201367.","journal-title":"J.ACM"},{"key":"3_CR10","unstructured":"N. Dershowitz: Synthesis by Completion; [joshi02], 208\u2013214."},{"key":"3_CR11","unstructured":"M. Franova: Precomas Challenge; Rapport de Recherche No.376, L.R.I., Universit\u00e9 de Paris-Sud, Orsay, France, September, 1987."},{"key":"3_CR12","unstructured":"M. Franova: CM-strategy: A Methodology for Inductive Theorem Proving or Constructive Well-Generalized Proofs; [joshi02], 1985, 1214\u20131220."},{"key":"3_CR13","unstructured":"M. Franova: An Implementation of Program Synthesis from Formal Specifications; [kodratoff23], 559\u2013564."},{"key":"3_CR14","unstructured":"M. Franova: Fundamentals for a new methodology for inductive theorem proving: CM-construction of atomic formulae; [kodratoff23], 137\u2013141."},{"key":"3_CR15","volume-title":"Fundamentals of a new methodology for Program Synthesis from Formal Specifications: CM-construction of atomic formulae","author":"M. Franova","year":"1988","unstructured":"M. Franova: Fundamentals of a new methodology for Program Synthesis from Formal Specifications: CM-construction of atomic formulae; Thesis, Universit\u00e9 Paris-Sud, November, Orsay, France, 1988."},{"key":"3_CR16","unstructured":"B. Fronhofer: The LOPS-Approach: Towards New Syntheses of Algorithms; [trost01], 108\u2013119."},{"key":"3_CR17","unstructured":"S. Goto: Program Synthesis from natural deduction proofs; in: Proceedings of the Sixth International Joint Conference on Artificial Intelligence, August 1979, Tokyo, 339\u2013341."},{"issue":"2","key":"3_CR18","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1145\/322248.322258","volume":"28","author":"C. J. Hogger","year":"1981","unstructured":"C.J. Hogger: Derivation of logic programs; J.ACM vol. 28, no. 2, 1981, 372\u2013392.","journal-title":"J.ACM"},{"key":"3_CR19","volume-title":"Introduction to Logic Programming","author":"C. J. Hogger","year":"1984","unstructured":"C.J. Hogger: Introduction to Logic Programming; Academic Press, Inc., London, 1984."},{"key":"3_CR20","unstructured":"A.K. Joshi, (ed.): Proceedings of the Ninth International Joint Conference on Artificial Intelligence; August, Los Angeles, 1985."},{"key":"3_CR21","unstructured":"Y. Kodratoff, M.Picard: Compl\u00e9tion de syst\u00e8mes de r\u00e9\u00e9criture et synth\u00e8se de programmes \u00e0 partir de leurs sp\u00e9cifications; Bigre No.35, October, 1983."},{"key":"3_CR22","volume-title":"An Introduction to Machine Learning","author":"Y. Kodratoff","year":"1988","unstructured":"Y. Kodratoff: An Introduction to Machine Learning; Pitman, London, 1988."},{"key":"3_CR23","volume-title":"Proceedings of the 8th European Conference on Artificial Intelligence","author":"Y. Kodratoff","year":"1988","unstructured":"Y. Kodratoff: Proceedings of the 8th European Conference on Artificial Intelligence; August 1\u20135, Pitman, London, United Kingdom, 1988."},{"key":"3_CR24","unstructured":"R. Kowalski: The relation between logic programming and logic specification; Phil. Trans. R. Soc. Lond., 1984."},{"key":"3_CR25","unstructured":"G. Kreisel: Some Uses of Proof Theory for Finding Computer Programs; Colloque International de Logique, Clermont-Ferrand, July, 1975."},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"P. Leith: Fundamental Errors in Legal Logic Programming, in The Computer Journal, Vol.29, NO.6,1986.","DOI":"10.1093\/comjnl\/29.6.545"},{"key":"3_CR27","unstructured":"P.Leith: Definition and Logic: Learning from the failure of AI, to appear in \"AI and Software Engineering\", D. Partridge (ed.), Albex: NY."},{"key":"3_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1984","unstructured":"J. W. Lloyd: Foundations of Logic Programming; Springer-Verlag, Berlin, 1984."},{"issue":"1","key":"3_CR29","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1145\/357084.357090","volume":"2.","author":"Z. Manna","year":"1980","unstructured":"Z. Manna, R. Waldinger: A Deductive Approach to Program Synthesis; ACM Transactions on Programming Languages and Systems, Vol. 2., No. 1, January, 1980, 90\u2013121.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR30","volume-title":"AI: applicationas in the future of software engineering","author":"D. Partridge","year":"1986","unstructured":"D. Partridge: AI: applicationas in the future of software engineering; Ellis Horwood\/Wiley, United Kingdom, 1986."},{"key":"3_CR31","unstructured":"H. Perdrix: Program synthesis from specifications; ESPRIT'85, Status Report of Continuing Work, North-Holland 1986, 371\u2013385."},{"key":"3_CR32","unstructured":"H. Perdrix: Program synthesis from specifications; in: Ph. Jorrand and V. Sgurev (eds): Proceeding of AIMSA '86, North-Holland, 13\u201321."},{"key":"3_CR33","volume-title":"Recursive Functions","author":"R. P\u00e9ter","year":"1967","unstructured":"R. P\u00e9ter: Recursive Functions; Academic Press, New York, 1967."},{"key":"3_CR34","unstructured":"I. Plander, (eds): Proceedings of Artificial Intelligence and Information-Control Systems of Robots-87; Bratislava, October, North-Holland, 1987."},{"volume-title":"Reading in Artificial Intelligence and Software Engineering","year":"1986","key":"3_CR35","unstructured":"Ch. Rich, R. C. Waters (eds): Reading in Artificial Intelligence and Software Engineering; Morgan Kaufmann, Los Altos, CA, 1986."},{"key":"3_CR36","unstructured":"M. Sato: Towards a Mathematical Theory of Program Synthesis; Proc. 6th IJCAI, Tokyo, 1979, 757\u2013762."},{"key":"3_CR37","unstructured":"N. Tareb, Y. Kodratoff: Synthesis of Specifications from Programs; [plander01], 467\u2013471."},{"key":"3_CR38","unstructured":"H. Trost, J. Retti (eds): \u00d6GAI-85; Vienna, Austria, Informatik-Fachberichte 106, September, Springer-Verlag, 1985."},{"key":"3_CR39","unstructured":"R. Waldinger: Achieving Several Goals Simultaneously; [webber01], 250\u2013271."},{"key":"3_CR40","volume-title":"Readings in Artificial Intelligence","author":"B. L. Webber","year":"1981","unstructured":"B. L. Webber, N. N. Nilson: Readings in Artificial Intelligence; Morgan Kaufmann, Los Altos, California, 1981."}],"container-title":["Lecture Notes in Computer Science","Analogical and Inductive Inference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51734-0_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:22:40Z","timestamp":1605648160000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51734-0_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540517344","9783540467984"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/3-540-51734-0_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}