{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:04Z","timestamp":1725664984276},"publisher-location":"Berlin, Heidelberg","reference-count":43,"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_16","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:49:34Z","timestamp":1330296574000},"page":"275-294","source":"Crossref","is-referenced-by-count":1,"title":["Specialising meta-level compositions of logic programs"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Brogi","sequence":"first","affiliation":[]},{"given":"Simone","family":"Contiero","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"16_CR1","unstructured":"J. Barklund. Metaprogramming in Logic. In A. Kent and J.G. Williams, editors, Encyclopedia of Computer Sciene and Technology, chapter 33, pages 205\u2013227. Marcel Dekker, 1995."},{"key":"16_CR2","unstructured":"K. Benkerimi and J.W. Lloyd. A Partial Evaluation Procedure for Logic Programs. In S. Debray and M. Hermenegildo, editors, Logic Programming: Proceedings of the 1990 North American Conference, pages 343\u2013358. The MIT Press, 1990."},{"key":"16_CR3","unstructured":"A. F. Bowers and C. A. Gurr. Towards Fast and Declarative Meta-Programming. In K. Apt and F. Turini, editors, Meta-Logics and Logic Progamming, chapter 2, pages 137\u2013166. The MIT Press, 1995."},{"key":"16_CR4","unstructured":"A. Brogi. Program Construction in Computational Logic. PhD thesis, Department of Computer Science, University of Pisa, 1993."},{"key":"16_CR5","unstructured":"A. Brogi and S. Contiero. Composing logic programs by meta-programming in G\u00f6del. In K. Apt and F.Turini, editors, Meta-programming and Logic Programming, chapter 7, pages 167\u2013194. The MIT Press, 1995."},{"key":"16_CR6","unstructured":"A. Brogi and S. Contiero. A Program Specialiser for Meta-level Compositions of Logic Programs. TR 96-20, Dpt. of Computer Science, University of Pisa, 1996."},{"issue":"4","key":"16_CR7","doi-asserted-by":"crossref","first-page":"1361","DOI":"10.1145\/183432.183528","volume":"16","author":"A. Brogi","year":"1994","unstructured":"A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini. Modular Logic Programming. ACM Transactions on Programming Languages and Systems, 16(4):1361\u20131398, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR8","unstructured":"A. Brogi, C. Renso, and F. Turini. Amalgamating Language and Meta-Language for Composing Logic Programs. In M. Alpuente, R. Barbuti, and I. Ramos, editors, Proc. of the GULP-PRODE'94 Joint Conference, vol.2, pages 408\u2013422, 1994."},{"key":"16_CR9","unstructured":"A. Brogi and F. Turini. Meta-Logic for Program Composition: Semantics Issues. In K.R. Apt and F. Turini, editors, Meta-logics and Logic Programming, chapter 4, pages 83\u2013110. The MIT Press, 1995."},{"issue":"1","key":"16_CR10","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF03037527","volume":"11","author":"M. Bruynooghe","year":"1992","unstructured":"M. Bruynooghe, D. De Schreye, and B. Martens. A General Criterion for Avoiding Infinite Unfolding during Partial Evaluation. New Generation Computing, 11(1):47\u201379, 1992.","journal-title":"New Generation Computing"},{"issue":"1","key":"16_CR11","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0743-1066(93)90024-B","volume":"16","author":"M. Bugliesi","year":"1993","unstructured":"M. Bugliesi, E. Lamma, and P. Mello. Partial Deduction for Structured Logic Programming. Journal of Logic Programming, 16(1, 2):89\u2013122, 1993.","journal-title":"Journal of Logic Programming"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"S. Costantini, P. Dell'Acqua, and G. A. Lanzarone. Extending Horn Clauses Theories by Reflection Principles. In M. MacNish, D. Pearce, and L. M. Pereira, editors, Logics in Artificial Intelligence, LNAI 838, pages 400\u2013413. Springer-Verlag, 1994.","DOI":"10.1007\/BFb0021987"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Y. Futamura. Partial Computation of Programs. In J. Hartmanis and G. Goos, editors, RIMS Symp. on Software Science and Engineering, LNCS 147, pages 1\u201335. Springer-Verlag, 1982.","DOI":"10.1007\/3-540-11980-9_13"},{"key":"16_CR14","unstructured":"J. Gallagher. Transforming Logic Programs By Specialising Interpreters. In ECAI-86, pages 313\u2013326, 1986."},{"key":"16_CR15","unstructured":"J. Gallagher. A System For Specialising Logic Programs. Technical Report 91-32, University of Bristol, 1991."},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"J. Gallagher. Tutorial on Specialisation of Logic Programs. In Proceedings PEPM93, ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 88\u201398. ACM Press, 1993.","DOI":"10.1145\/154630.154640"},{"key":"16_CR17","unstructured":"J. Gallagher and M. Bruynooghe. Some Low-Level Source Transformations for Logic Programs. In M. Bruynooghe, editor, Proceedings of the Second Workshop on Meta-Programming in Logic, Leuven, Belgium, pages 229\u2013244, 1990."},{"issue":"3\u20134","key":"16_CR18","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF03037167","volume":"9","author":"J. Gallagher","year":"1991","unstructured":"J. Gallagher and M. Bruynooghe. The Derivation of an Alghoritm for Program Specialisation. New Generation Computing, 9(3\u20134):305\u2013333, 1991.","journal-title":"New Generation Computing"},{"key":"16_CR19","unstructured":"C.A. Gurr. A Self-Applicable Partial Evaluator for the Logic Programming Language G\u00f6del. PhD thesis, University of Bristol, 1994."},{"key":"16_CR20","unstructured":"P. Hill and J. Gallagher. Metaprogramming in Logic programming. In A. Robinson and C. Hogger, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, chapter 5. Oxford University Press, 1996."},{"key":"16_CR21","unstructured":"P.M. Hill and J.W. Lloyd. Analysis of metaprograms. In H.D. Abramson and M.H. Rogers, editors, Metaprogramming in Logic Programming, pages 23\u201352. The MIT Press, 1989."},{"key":"16_CR22","unstructured":"P.M. Hill and J.W. Lloyd. The G\u00f6del Programming Language. The MIT Press, 1994."},{"key":"16_CR23","unstructured":"J. J\u00f8rgensen, M. Leuschel, and B. Martens. Conjunctive Partial Deduction. In J. Gallagher (editor) Pre-proceedings of LOPSTR-96, pages 46\u201362, 1996."},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"J. Komorowski. An Introduction to Partial Deduction. In A. Pettorossi, editor, Meta-Programming in Logic, LNCS 649, pages 49\u201369. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-56282-6_4"},{"issue":"6","key":"16_CR25","first-page":"603","volume":"21","author":"E. Lamma","year":"1991","unstructured":"E. Lamma, P. Mello, and A. Natali. Reflection Mechanisms for Combining Prolog Databases. Software: Practice and Experience, 21(6):603\u2013624, 1991.","journal-title":"Software: Practice and Experience"},{"key":"16_CR26","unstructured":"M. Leuschel and B. Martens. Partial Deduction of the Ground Representation and its Application to Integrity Checking. In John Lloyd, editor, Proceedings of ILPS'95, pages 495\u2013509. The MIT Press, 1995."},{"key":"16_CR27","first-page":"263","volume":"1110","author":"M. Leuschel","year":"1996","unstructured":"M. Leuschel and B. Martens. Global Control for Partial Deduction through Characteristic Atoms and Global Trees. In Proceedings of the 1996 Dagstuhl Seminar on Partial Evaluation, LNCS 1110, pages 263\u2013283, 1996.","journal-title":"LNCS"},{"key":"16_CR28","unstructured":"M. Leuschel and D. De Schreye. An Almost Perfect Abstract Operation for Partial Deduction Using Characteristic Trees. In Technical Report CW 215, October 1995."},{"issue":"2","key":"16_CR29","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF03037139","volume":"6","author":"G. Levi","year":"1988","unstructured":"G. Levi and G. Sardu. Partial Evaluation of Metaprograms in a \u201cMultiple Worlds\u201d Logic Language. New Generation Computing, 6(2,3):227\u2013247, 1988.","journal-title":"New Generation Computing"},{"key":"16_CR30","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of logic programming. Springer-Verlag, 2nd, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"16_CR31","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. Journal of Logic Programming, 11:217\u2013242, 1991.","journal-title":"Journal of Logic Programming"},{"key":"16_CR32","doi-asserted-by":"crossref","unstructured":"B. Martens and J. Gallagher. Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance. In L. Sterling, editor, Proceedings of ICLP95, pages 597\u2013611. The MIT Press, 1995.","DOI":"10.7551\/mitpress\/4298.003.0059"},{"issue":"1","key":"16_CR33","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0743-1066(94)00015-X","volume":"22","author":"B. Martens","year":"1995","unstructured":"B. Martens and D. De Schreye. Why untyped non-ground meta-programming is not (much of) a problem. Journal of Logic Programming, 22(1):47\u201399, 1995.","journal-title":"Journal of Logic Programming"},{"key":"16_CR34","doi-asserted-by":"crossref","unstructured":"B. Martens and D. De Schreye. Automatic Finite Unfolding using Well-Founded Measures. In Journal of Logic Programming, 1996 (to appear).","DOI":"10.1016\/0743-1066(95)00149-2"},{"issue":"1\u20132","key":"16_CR35","first-page":"97","volume":"122","author":"B. Martens","year":"1995","unstructured":"B. Martens, D. De Schreye, and T. Horv\u00e1th. Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures. Theoretical Computer Science, 122(1\u20132):97\u2013117, 1995.","journal-title":"Theoretical Computer Science"},{"key":"16_CR36","unstructured":"L. Monteiro and A. Porto. Contextual logic programming. In G. Levi and M. Martelli, editors, Proceedings Sixth ICLP, pages 284\u2013302. The MIT Press, 1989."},{"key":"16_CR37","unstructured":"S. Owen. Issues in the Partial Evaluation of Meta-Interpreters. In H. Abramson and M.H. Rogers, editors, Meta-Programming in Logic Programming, pages 319\u2013340. The MIT Press, 1989."},{"key":"16_CR38","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. Transformations of logic programs: Foundations and techniques. The Journal of Logic Programming, 19 & 20:261\u2013320, 1994.","journal-title":"The Journal of Logic Programming"},{"key":"16_CR39","volume-title":"PhD thesis","author":"D. Sahlin","year":"1991","unstructured":"D. Sahlin. An Automatic Partial Evaluator for Full Prolog. PhD thesis, KTH, Dpt. of Telecommunications and Computer Systems, Stockolm, Sweden, 1991."},{"key":"16_CR40","unstructured":"M. S\u00f8rensen and R. Gl\u00fcck. An Algorithm of Generalization in Positive Supercompilation. In John Lloyd, editor, Proceedings of ILPS'95, the International Logic Programming Symposium, pages 465\u2013479. The MIT Press, 1995."},{"key":"16_CR41","unstructured":"L. Sterling and E. Shapiro. The Art of Prolog. The MIT Press, 1986."},{"key":"16_CR42","unstructured":"A. Takeuchi. Affinity between meta interpreters and partial evaluation. In H.-J. Kugler, editor, Information Processing 86, pages 279\u2013282. North-Holland, 1986."},{"key":"16_CR43","unstructured":"A. Takeuchi and K. Furukawa. Partial evaluation of Prolog programs and its application to meta-programming. In H.-J. Kugler, editor, Information Processing 86, pages 415\u2013420. North-Holland, 1986."}],"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_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T17:58:39Z","timestamp":1713635919000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62718-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627180","9783540684947"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/3-540-62718-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}