{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:43Z","timestamp":1725663703623},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544449"},{"type":"electronic","value":"9783540383628"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54444-5_111","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:50:13Z","timestamp":1330210213000},"page":"347-358","source":"Crossref","is-referenced-by-count":22,"title":["Unfolding \u2014 definition \u2014 folding, in this order, for avoiding unnecessary variables in logic programs"],"prefix":"10.1007","author":[{"given":"Maurizio","family":"Proietti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Pettorossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"issue":"1","key":"29_CR1","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R.M. Burstall","year":"1977","unstructured":"Burstall, R.M. and Darlington, J.: \"A Transformation System for Developing Recursive Programs\", JACM, Vol. 24, No. 1, January 1977, pp. 44\u201367.","journal-title":"JACM"},{"key":"29_CR2","unstructured":"CIP Language Group: \"The Munich Project CIP\" Lecture Notes in Computer Science, 1984."},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Debray, S.K.: \"Unfold\/Fold Transformations and Loop Optimization of Logic Programs\", Proc. SIGPLAN 88, Conference on Programming Language Design and Implementation, Altanta, Georgia, 1988.","DOI":"10.1145\/53990.54020"},{"issue":"3","key":"29_CR4","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1145\/65979.65984","volume":"11","author":"D. S.K","year":"1989","unstructured":"Debray, S.K. and Warren, D.S.: \"Functional Computations in Logic Programs\", ACM TOPLAS, 11 (3), 1989, pp. 451\u2013481.","journal-title":"ACM TOPLAS"},{"key":"29_CR5","unstructured":"Feather, M.S.: \"A Survey and Classification of Some Program Transformation Techniques\", Proc. TC2 IFIP Working Conference on Program Specification and Transformation, Bad T\u00f6lz, Germany, 1986."},{"issue":"28","key":"29_CR6","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1145\/322248.322258","volume":"2","author":"C.J. Hogger","year":"1981","unstructured":"Hogger, C.J.: \"Derivation of Logic Programs\", JACM, No. 28, 2, 1981, pp. 372\u2013392.","journal-title":"JACM"},{"key":"29_CR7","unstructured":"Kawamura, T. and Kanamori, T.: \"Preservation of Stronger Equivalence in Unfold\/Fold Logic Program Transformation\", Proc. Int. Conf. on Fifth Generation Computer Systems, Tokyo, 1988, pp. 413\u2013422."},{"key":"29_CR8","volume-title":"Foundations of Logic Programming","author":"L. J.W","year":"1987","unstructured":"Lloyd, J.W.: \"Foundations of Logic Programming\", Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, 2nd edition, 1987."},{"issue":"3","key":"29_CR9","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1145\/357172.357177","volume":"4","author":"R. Paige","year":"1982","unstructured":"Paige, R. and Koenig, S.: \"Finite Differencing of Computable Expressions\" ACM TOPLAS 4 (3) July 1982, pp. 402\u2013454.","journal-title":"ACM TOPLAS"},{"key":"29_CR10","unstructured":"Pettorossi, A.: \"Transformation of Programs and Use of Tupling Strategy\", Proc. Informatica 77, Bled, Yugoslavia, 1977, pp. 3 103, 1\u20136."},{"key":"29_CR11","unstructured":"Pettorossi, A. and Proietti, M.: \"Importing and Exporting Information in Program Development\", Proc. IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, Gammel Avernaes, Denmark, North Holland 1987, pp. 405\u2013425."},{"key":"29_CR12","doi-asserted-by":"crossref","unstructured":"Proietti, M. and Pettorossi, A.: \"Synthesis of Eureka Predicates for Developing Logic Programs\", Proc. ESOP 90, Copenhagen, 1990, Lecture Notes in Computer Science No. 432, pp. 306\u2013325.","DOI":"10.1007\/3-540-52592-0_71"},{"key":"29_CR13","unstructured":"Tamaki, H. and Sato, T.: \"Unfold\/Fold Transformation of Logic Programs\", Proc. 2nd International Conference on Logic Programming, Uppsala, Sweden, 1984."},{"key":"29_CR14","doi-asserted-by":"crossref","unstructured":"Wadler, P. L.: \"Deforestation: Transforming Programs to Eliminate Trees\", Proc. ESOP 88, Nancy, France, 1988, Lecture Notes in Computer Science 300, pp. 344\u2013358.","DOI":"10.1007\/3-540-19027-9_23"}],"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-54444-5_111.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:21:58Z","timestamp":1619572918000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54444-5_111"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544449","9783540383628"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-54444-5_111","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}