{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:28:07Z","timestamp":1725488887712},"publisher-location":"London","reference-count":15,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197423"},{"type":"electronic","value":"9781447134947"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3494-7_11","type":"book-chapter","created":{"date-parts":[[2013,3,1]],"date-time":"2013-03-01T04:16:55Z","timestamp":1362111415000},"page":"129-146","source":"Crossref","is-referenced-by-count":2,"title":["On Using Mode Input-output for Transforming Logic Programs"],"prefix":"10.1007","author":[{"given":"Francis","family":"Alexandre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Khaled","family":"Bsaies","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"Qu\u00e9r\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"F. Alexandre. Transformations de programmes logiques. Th\u00e8se de l\u2019universit\u00e9 de Nancy I, fevrier 1991."},{"issue":"3","key":"11_CR2","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"KR Apt","year":"1982","unstructured":"K.R. Apt and M.H Van Emden. Contribution to the theory of logic programming. Journal of the Association for Computing Machinery, 29(3): 841\u2013862, 1982.","journal-title":"Journal of the Association for Computing Machinery"},{"issue":"4","key":"11_CR3","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1145\/1780.1781","volume":"6","author":"RS Bird","year":"1984","unstructured":"R.S. Bird. The promotion and accumulation strategies in transformational programming. ACM TOPLAS, 6(4): 487\u2013504, 1984.","journal-title":"ACM TOPLAS"},{"issue":"1","key":"11_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 J.A Darlington. 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":"11_CR5","doi-asserted-by":"crossref","unstructured":"S.K. Debray and D.S. Warren. Detection and optimization of functional computations in prolog. In E. Shapiro, editor, Proceedings of the Third International Conference on Logic Programming, London, volume 225 of Lecture Notes in Computer Science, pages 490-504. Springer-Verlag, 1986.","DOI":"10.1007\/3-540-16492-8_97"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/0743-1066(88)90010-6","volume":"5","author":"SK Debray","year":"1988","unstructured":"S.K. Debray and D.S. Warren. Automatic mode inference for logic programs. Journal of Logic Programming, 5: 207\u2013229, 1988.","journal-title":"Journal of Logic Programming"},{"key":"11_CR7","unstructured":"N. Dershowitz and J. P. Jouannaud. Rewriting systems. Handbook of Computer Science. North Holland, 1989. To be published."},{"key":"11_CR8","unstructured":"M.S. Feather. A survey and classification of some program transformation techniques. In Proc. TC2 IFIP Working Conference on Program Specification and Transformation, Bad-Tolz, F.R.G, 1986."},{"key":"11_CR9","unstructured":"Projet Formel. The CAML Reference Manual Version 2.6. Inria, March 1989."},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer Verlag, 1988.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0743-1066(85)90004-4","volume":"1","author":"CS Mellish","year":"1985","unstructured":"C. S. Mellish. Some global optimizations for a prolog compiler. Journal of Logic Programming, 1: 43\u201366, 1985.","journal-title":"Journal of Logic Programming"},{"key":"11_CR12","unstructured":"A. Pettorossi and M. Proietti. The automatic construction of logic programs. In IFIP WG2.1 Meeting, January 1989. Preliminary Version."},{"key":"11_CR13","unstructured":"A. Pettorossi and M. Proietti. Decidability results and characterization of strategies for the development of logic programs. In G. Levi and M. Martelli, editors, 6th International Conference on Logic Programming, Lisbon (Portugal), 1989. MIT Press."},{"key":"11_CR14","unstructured":"U. S. Reddy. Transformation of logic programs into functional programs. In International Symposium on Logic Programming, Atlantic City, pages 187-196, 1984."},{"key":"11_CR15","unstructured":"H. Tamaki and T. Sato. Unfold\/fold transformation of logic programs. In Proceedings of the 2nd International Logic Programming Conference, Uppsala, 1984."}],"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-3494-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T13:17:46Z","timestamp":1557580666000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3494-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197423","9781447134947"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3494-7_11","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}