{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:37Z","timestamp":1725467437141},"publisher-location":"Berlin\/Heidelberg","reference-count":14,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540558446"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-55844-6_137","type":"book-chapter","created":{"date-parts":[[2006,7,13]],"date-time":"2006-07-13T09:22:29Z","timestamp":1152782549000},"page":"202-216","source":"Crossref","is-referenced-by-count":1,"title":["A technique for transforming logic programs by fold-unfold transformations"],"prefix":"10.1007","author":[{"given":"Francis","family":"Alexandre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"14_CR1","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K.R. 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"},{"key":"14_CR2","volume-title":"A Computational Logic","author":"R.S. Boyer","year":"1979","unstructured":"R.S. Boyer and J.S. Moore. A Computational Logic. Academic Press, New York, 1979."},{"key":"14_CR3","unstructured":"M. Bruynooghe, L. De Raedt, and D. De Schreye. Explanation Based Program Transformation. In Proc. IJCAI Boston USA, 1989."},{"issue":"2&3","key":"14_CR4","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0743-1066(89)90033-2","volume":"6","author":"M. Bruynooghe","year":"1989","unstructured":"M. Bruynooghe, D. De Schreye, and B. Krekels. Compiling control. Journal of Logic Programming, 6(2 & 3):135\u2013162, January 1989.","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"14_CR5","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R.M 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":"14_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(81)90014-X","volume":"16","author":"J. Darlington","year":"1981","unstructured":"J. Darlington. An Experimental Program Transformation and Synthesis System. Artificial Intelligence, 16:1\u201346, 1981.","journal-title":"Artificial Intelligence"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"S.K. Debray. Unfold\/Fold Transformations and Loop Optimization of Logic Programs. In Proc. of the Sigplan'88 Conference on Programming Language Design and Implementation, pages 297\u2013307, Atlanta, Georgia, June 1988.","DOI":"10.1145\/960116.54020"},{"key":"14_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-T\u00f6lz, F.R.G, 1986."},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"14_CR10","unstructured":"A. Pettorossi and M. Proietti. The Automatic Construction of Logic Programs. In IFIP WG2.1 Meeting, January 1989. Preliminary Version."},{"key":"14_CR11","volume-title":"Decidability Results and Characterization of Strategies for the Development of Logic Programs","author":"A. Pettorossi","year":"1989","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":"14_CR12","first-page":"306","volume-title":"The Synthesis of Eureka Predicates for Developing Logic Program","author":"M. Proietti","year":"1990","unstructured":"M. Proietti and A Pettorossi. The Synthesis of Eureka Predicates for Developing Logic Program. In N. Jones, editor, 3rd European Symposium on Programming, volume 432 of Lecture Notes in Computer Science, pages 306\u2013325, Copenhaguen, 1990. Springer-Verlag."},{"key":"14_CR13","unstructured":"H. Tamaki and T. Sato. Unfold\/Fold Transformation of Logic Programs. In Proceedings of the 2nd International Logic Programming Conference, Uppsala, 1984."},{"issue":"2","key":"14_CR14","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1109\/TSE.1976.233533","volume":"SE-2","author":"B. Wegbreit","year":"1976","unstructured":"B. Wegbreit. Goal-Directed Program Transformation. IEEE Transactions on Software Engineering, SE-2(2):69\u201380, 1976.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55844-6_137.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:36:24Z","timestamp":1619573784000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55844-6_137"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540558446"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-55844-6_137","relation":{},"subject":[]}}