{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:14:11Z","timestamp":1725488051306},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540421276"},{"type":"electronic","value":"9783540451426"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45142-0_8","type":"book-chapter","created":{"date-parts":[[2007,8,1]],"date-time":"2007-08-01T01:17:34Z","timestamp":1185931054000},"page":"125-146","source":"Crossref","is-referenced-by-count":13,"title":["Automated Strategies for Specializing Constraint Logic Programs"],"prefix":"10.1007","author":[{"given":"Fabio","family":"Fioravanti","sequence":"first","affiliation":[]},{"given":"Maurizio","family":"Proietti","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Pettorossi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,5,2]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/S0304-3975(97)00077-7","volume":"206","author":"N. Bensaou","year":"1998","unstructured":"N. Bensaou and I. Guessarian. Transforming constraint logic programs. Theoretical Computer Science, 206:81\u2013125, 1998.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"8_CR2","doi-asserted-by":"publisher","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, April 1990.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"8_CR3","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1145\/169683.174155","volume":"15","author":"C. Consel","year":"1993","unstructured":"C. Consel and S. C. Khoo. Parameterized partial evaluation. ACM Transactions on Programming Languages and Systems, 15(3):463\u2013493, 1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximation of fixpoints. In Proceedings 4th ACM-SIGPLAN Symposium on Principles of Programming Languages (POPL\u2019 77), pages 238\u2013252. ACM Press, 1977.","DOI":"10.1145\/512950.512973"},{"issue":"2-3","key":"8_CR5","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/S0743-1066(99)00030-8","volume":"41","author":"D. Schreye De","year":"1999","unstructured":"D. De Schreye, R. Gl\u00fcck, J. J\u00f8rgensen, M. Leuschel, B. Martens, and M. H. S\u00f8rensen. Conjunctive partial deduction: Foundations, control, algorithms, and experiments. Journal of Logic Programming, 41(2-3):231\u2013277, 1999.","journal-title":"Journal of Logic Programming"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 243\u2013320. Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/0304-3975(95)00148-4","volume":"166","author":"S. Etalle","year":"1996","unstructured":"S. Etalle and M. Gabbrielli. Transformations of CLP modules. Theoretical Computer Science, 166:101\u2013146, 1996.","journal-title":"Theoretical Computer Science"},{"key":"8_CR8","unstructured":"F. Fioravanti, A. Pettorossi, and M. Proietti. Rules and strategies for contextual specialization of constraint logic programs. In M. Leuschel, editor, Proceedings of the ICLP\u201999 Workshop on Optimization and Implementation of Declarative Programming Languages, WOID\u2019 99, Las Cruces University, New Mexico, USA, pages 1\u20139, December 2-3, 1999."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"T. Fr\u00fchwirth. Theory and practice of Constraint Handling Rules. Journal of Logic Programming, Special Issue on Constraint Logic Programming, pages 95\u2013138, October 1998.","DOI":"10.1016\/S0743-1066(98)10005-5"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"T. J. Hickey and D. A. Smith. Towards the partial evaluation of CLP languages. In Proceedings ACM Symposium on Partial Evaluation and Semantics Based Program Manipulation, PEPM\u2019 91, New Haven, CT, USA, SIGPLAN Notices, 26, 9, pages 43\u201351. ACM Press, 1991.","DOI":"10.1145\/115865.115871"},{"key":"8_CR11","volume-title":"Technical Report TR-95-09","author":"C. Holzbaur","year":"1995","unstructured":"C. Holzbaur. OFAI clp(q,r) manual, Edition 1.3.2. Technical Report TR-95-09, Austrian Research Institute for Artificial Intelligence, Vienna, 1995."},{"key":"8_CR12","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"J. Jaffar and M. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19\/20:503\u2013581, 1994.","journal-title":"Journal of Logic Programming"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0743-1066(98)10002-X","volume":"37","author":"J. Jaffar","year":"1998","unstructured":"J. Jaffar, M. Maher, K. Marriott, and P. Stuckey. The semantics of constraint logic programming. Journal of Logic Programming, 37:1\u201346, 1998.","journal-title":"Journal of Logic Programming"},{"key":"8_CR14","unstructured":"N. D. Jones, C. K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, 1993."},{"key":"8_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/3-540-48958-4_11","volume-title":"Proceedings of LOPSTR\u201998","author":"M. Leuschel","year":"1999","unstructured":"M. Leuschel. Improving homeomorphic embedding for online termination. In P. Flener, editor, Proceedings of LOPSTR\u201998, Manchester, UK, June 1998, Lecture Notes in Computer Science 1559, pages 199\u2013218. Springer-Verlag, 1999."},{"issue":"1","key":"8_CR16","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1145\/271510.271525","volume":"20","author":"M. Leuschel","year":"1998","unstructured":"M. Leuschel, B. Martens, and D. De Schreye. Controlling generalization and polyvariance in partial deduction of normal logic programs. ACM Transactions on Programming Languages and Systems, 20(1):208\u2013258, 1998.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR17","unstructured":"M. Leuschel and D. De Schreye. Constrained partial deduction. In F. Bry, B. Freitag, and D. Seipel, editors, Proceedings of the 12th Workshop Logische Programmierung (WLP\u201997), pages 116\u2013126, Munich, Germany, September 1997."},{"key":"8_CR18","doi-asserted-by":"publisher","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. Journal of Logic Programming, 11:217\u2013242, 1991.","journal-title":"Journal of Logic Programming"},{"key":"8_CR19","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1016\/0304-3975(93)90013-J","volume":"110","author":"M. J. Maher","year":"1993","unstructured":"M. J. Maher. A transformation system for deductive database modules with perfect model semantics. Theoretical Computer Science, 110:377\u2013403, 1993.","journal-title":"Theoretical Computer Science"},{"key":"8_CR20","unstructured":"K. Marriott and P. Stuckey. The 3 R\u2019s of optimizing constraint logic programs: Refinement, Removal and Reordering. In POPL\u201993: Proceedings ACM SIGPLAN Symposium on Principles of Programming Languages, pages 334\u2013344, 1993."},{"key":"8_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1007\/3-540-61580-6_19","volume-title":"Proceedings of the Dagstuhl Seminar on Partial Evaluation","author":"A. Pettorossi","year":"1996","unstructured":"A. Pettorossi and M. Proietti. A theory of logic program specialization and generalization for dealing with input data properties. In O. Danvy, R. Gl\u00fcck, and P. Thiemann, editors, Proceedings of the Dagstuhl Seminar on Partial Evaluation, Lecture Notes in Computer Science 1110, pages 386\u2013408. Springer-Verlag, 1996."},{"key":"8_CR22","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1145\/154630.154642","volume-title":"Proceedings ACM Sigplan Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM\u2019 93","author":"S. Prestwich","year":"1993","unstructured":"S. Prestwich. Online partial deduction of large programs. In Proceedings ACM Sigplan Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM\u2019 93, Copenhagen, Denmark, pages 111\u2013118. ACM Press, 1993."},{"issue":"2&3","key":"8_CR23","first-page":"279","volume":"41","author":"G. Puebla","year":"1999","unstructured":"G. Puebla and M. Hermenegildo. Abstract multiple specialization and its application to program parallelization. J. of Logic Programming. Special Issue on Synthesis, Transformation and Analysis of Logic Programs, 41(2&3):279\u2013316, November 1999.","journal-title":"J. of Logic Programming. Special Issue on Synthesis, Transformation and Analysis of Logic Programs"},{"key":"8_CR24","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/BF03038271","volume":"12","author":"D. Sahlin","year":"1993","unstructured":"D. Sahlin. Mixtus: An automatic partial evaluator for full Prolog. New Generation Computing, 12:7\u201351, 1993.","journal-title":"New Generation Computing"},{"key":"8_CR25","unstructured":"M. H. S\u00f8rensen and R. Gl\u00fcck. An algorithm of generalization in positive supercompilation. In J. W. Lloyd, editor, Proceedings of the 1995 International Logic Programming Symposium (ILPS\u2019 95), pages 465\u2013479. MIT Press, 1995."},{"key":"8_CR26","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/3-540-61286-6_135","volume-title":"Proceedings of the 9th International Symposium on Foundations of Intelligent Systems","author":"A. Wrzos-Kaminska","year":"1996","unstructured":"A. Wrzos-Kaminska. Partial evaluation in constraint logic programming. In Z. W. Ras and M. Michalewicz, editors, Proceedings of the 9th International Symposium on Foundations of Intelligent Systems, Zakopane, Poland, Lecture Notes in Computer Science 1079, pages 98\u2013107. Springer-Verlag, 1996."}],"container-title":["Lecture Notes in Computer Science","Logic Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45142-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T16:27:15Z","timestamp":1556728035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45142-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421276","9783540451426"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-45142-0_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}