{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:07Z","timestamp":1725664987524},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627180"},{"type":"electronic","value":"9783540684947"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62718-9_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:49:49Z","timestamp":1330278589000},"page":"130-145","source":"Crossref","is-referenced-by-count":1,"title":["A transformation tool for pure Prolog programs"],"prefix":"10.1007","author":[{"given":"Jacob","family":"Brunekreef","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"8_CR1","unstructured":"O. Aioni. A System for the Automatic Transformation of Logic programs. Technical Report Report R 0195, Electronics Department, University of Roma Tor Vergata, 1995."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"F. Alexandre, K. Bsa\u00efes, J.P. Finance, and A. Qu\u00e9r\u00e9. Spes: A System for Logic Program Transformation. In Proceedings of the International Conference on Logic Programming and Automated reasoning (LPAR '92), LNCS 624, pages 445\u2013447. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0013082"},{"key":"8_CR3","volume-title":"PhD thesis","author":"M. Baudinet","year":"1989","unstructured":"M. Baudinet. Logic Programming Semantics: Techniques and Applications. PhD thesis, Stanford University, Stanford, California, 1989."},{"key":"8_CR4","unstructured":"A. Bossi and N. Cocco. Replacement Can Preserve Termination. In this volume."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"A. Bossi, N. Cocco, and S. Etalle. Transformation of Left Terminating Programs: the Reordering Problem. In LOPSTR '95 \u2014 Fifth International Workshop on Logic Program Synthesis and Transformation, number 1048 in LNCS, pages 33\u201345. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60939-3_3"},{"key":"8_CR6","unstructured":"J. J. Brunekreef. A Transformation Tool for Pure Prolog Programs \u2014 The Algebraic Specification-. Technical Report P9607, Programming Research Group, University of Amsterdam, 1996."},{"key":"8_CR7","unstructured":"S. Etalle. Transformation and Analysis of (Constraint) Logic Programs. PhD thesis, University of Amsterdam, 1995."},{"key":"8_CR8","unstructured":"J. Gallagher. A system for specialising logic programs. Technical Report TR-91-32, University of Bristol, 1991."},{"key":"8_CR9","unstructured":"N. Jones and A. Mycroft. Stepwise Development of Operational and Denotational Semantics for Prolog. In Proceedings of the 1984 International Symposium on Logic Programming, pages 281\u2013288. IEEE, 1984."},{"key":"8_CR10","unstructured":"J. J\u00f8rgensen, M. Leuschel, and B. Martens. Conjunctive Partial Deduction in Practice. In this volume."},{"issue":"2","key":"8_CR11","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1145\/151257.151260","volume":"2","author":"P. Klint","year":"1993","unstructured":"P. Klint. A meta-environment for generating programming environments. ACM Transactions on Software Engineering and Methodology, 2(2):176\u2013201, 1993.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"1","key":"8_CR12","doi-asserted-by":"crossref","first-page":"41","DOI":"10.3233\/FI-1993-18104","volume":"18","author":"J. Komorowski","year":"1993","unstructured":"J. Komorowski. A Prolegomenon to Partial Deduction. Fundamenta Informaticae, 18(1):41\u201364, 1993.","journal-title":"Fundamenta Informaticae"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"T.\u00c6. Mogensen and A. Bondorf. Logimix: A Self-Applicable Partial Evaluator for Prolog. In LOPSTR '92 \u2014 Proceedings of the second international workshop on Logic Program Synthesis and Transformation, Workshops in Computing, pages 214\u2013227. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4471-3560-9_15"},{"key":"8_CR14","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/0743-1066(94)90028-0","volume":"19","author":"A. Pettorossi","year":"1994","unstructured":"A. Pettorossi and M. Proietti. Transformation of Logic Programs: Foundations and Techniques. Journal of Logic Programming, 19, 20:261\u2013320, 1994.","journal-title":"Journal of Logic Programming"},{"key":"8_CR15","unstructured":"A. Pettorossi and M. Proietti. Private communication, 1996."},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"S. Prestwitch. Online Partial Deduction of Large Programs. In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '93), pages 111\u2013118. ACM press, 1993.","DOI":"10.1145\/154630.154642"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"M. Proietti and A. Pettorossi. Semantics Preserving Transformation Rules for Prolog. In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '91). ACM press, 1991.","DOI":"10.1145\/115865.115895"},{"key":"8_CR18","unstructured":"D. Sahlin. The Mixtus Approach to Automatic Partial Evaluation of Full Prolog. In S. Debray and M. Hermenegildo, editors, Proc. of the North American Conf. on Logic Programming, pages 377\u2013398, 1990."},{"key":"8_CR19","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/0304-3975(91)90007-O","volume":"86","author":"H. Seki","year":"1991","unstructured":"H. Seki. Unfold\/fold transformation of stratified programs. Theoretical Computer Science, 86:107\u2013139, 1991.","journal-title":"Theoretical Computer Science"},{"key":"8_CR20","unstructured":"H. Tamaki and T. Sato. Unfold\/Fold Transformation of Logic Programs. In S.-\u00c5. T\u00e4rnlund, editor, Proceedings of the 2nd International Conference on Logic Programming, pages 127\u2013138, Uppsala, Sweden, 1984."},{"key":"8_CR21","unstructured":"T. Traill. Transformation of Logic Programs. Honours Thesis, Dept. of Computer Science, University of Melbourne, 1994."}],"container-title":["Lecture Notes in Computer Science","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62718-9_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T06:22:00Z","timestamp":1640931720000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62718-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627180","9783540684947"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-62718-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}