{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:34Z","timestamp":1725664294546},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584025"},{"type":"electronic","value":"9783540486954"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58402-1_24","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:53:16Z","timestamp":1330271596000},"page":"340-354","source":"Crossref","is-referenced-by-count":16,"title":["Unfold\/fold transformations for definite clause programs"],"prefix":"10.1007","author":[{"given":"Manolis","family":"Gergatsoulis","sequence":"first","affiliation":[]},{"given":"Maria","family":"Katzouraki","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"issue":"2","key":"24_CR1","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1145\/78942.78947","volume":"12","author":"A. Bossi","year":"1990","unstructured":"A. Bossi, N. Cocco, and S. Dulli. A method for specializing logic programs. ACM Transactions on Programming Languages and Systems, 12(2):253\u2013302, 1990.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"24_CR2","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R. Burstall","year":"1977","unstructured":"R. Burstall and J. Darlington. A transformation system for developing recursive programs. J.ACM, 24(1):44\u201367, Jan. 1977.","journal-title":"J.ACM"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"S. K. Debray. Unfold\/fold transformations and loop optimization of logic programs. In SIGPLAN' 88 Conference on Programming Language Design and Implementation, pages 297\u2013307, June 1988.","DOI":"10.1145\/960116.54020"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"M. Gergatsoulis and M. Katzouraki. Unfold\/fold transformations for definite clause programs. Technical report 250\/3\/42, Institute of Informatics & Telecom. NCSR\u2019 Demokritos', Febr. 1994.","DOI":"10.1007\/3-540-58402-1_24"},{"key":"24_CR5","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0304-3975(90)90065-P","volume":"75","author":"T. Kawamura","year":"1990","unstructured":"T. Kawamura and T. Kanamori. Preservation of stronger equivalence in unfold\/fold logic program transformations. Theoretical Computer Science, 75:139\u2013156, 1990.","journal-title":"Theoretical Computer Science"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"issue":"3","key":"24_CR7","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","volume":"11","author":"J. W. Lloyd","year":"1991","unstructured":"J. W. Lloyd and J. C. Shepherdson. Partial evaluation in logic programming. J. Logic Programming, 11(3 & 4):217\u2013242, Oct.\/Nov. 1991.","journal-title":"J. Logic Programming"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"M. Proietti and A. Pettorossi. Synthesis of eureka predicates for developing logic programs. In LNCS no. 432, Proc. of the 3rd European Symposium on Programming, pages 306\u2013325. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52592-0_71"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"M. Proietti and A. Pettorossi. Unfolding-definition-folding, in this order for avoiding unnecessary variables in logic programs. In J. Maluszinski and M. Wirsing, editors, LNCS no. 528, Proc. PLILP' 91, pages 347\u2013358. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54444-5_111"},{"issue":"1","key":"24_CR10","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0743-1066(93)90025-C","volume":"16","author":"M. Proietti","year":"1993","unstructured":"M. Proietti and A. Pettorossi. The loop absorption and the generalization strategies for the development of logic programs and partial deduction. The. Journal of Logic Programming, 16(1 & 2):123\u2013162, May 1993.","journal-title":"The. Journal of Logic Programming"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"T. Sato. An equivalence preserving first order unfold\/fold transformation system. In Lecture Notes in Computer Science (LNCS), 463, pages 175\u2013188. Springer Verlag, 1990.","DOI":"10.1007\/3-540-53162-9_38"},{"key":"24_CR12","unstructured":"T. Sato and H. Tamaki. Transformational logic program synthesis. In International Conference of Fifth Generation Computer Systems, pages 195\u2013201, 1984."},{"key":"24_CR13","unstructured":"H. Tamaki and T. Sato. Unfold\/fold transformations of logic programs. In Second International Conference on Logic Programming, pages 127\u2013138, 1984."},{"volume-title":"Technical Report No 86-4","year":"1986","author":"H. Tamaki","key":"24_CR14","unstructured":"H. Tamaki and T. Sato. A generalized correctness proof of the unfold\/fold logic program transformation. Technical Report No 86-4, Dept. of Information Science Ibaraki University, Japan, 1986."}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58402-1_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:20:00Z","timestamp":1605648000000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58402-1_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584025","9783540486954"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-58402-1_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}