{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T20:40:13Z","timestamp":1710276013608},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1998,6,1]],"date-time":"1998-06-01T00:00:00Z","timestamp":896659200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["NGCO"],"published-print":{"date-parts":[[1998,6]]},"DOI":"10.1007\/bf03037314","type":"journal-article","created":{"date-parts":[[2009,4,22]],"date-time":"2009-04-22T02:00:02Z","timestamp":1240365602000},"page":"123-161","source":"Crossref","is-referenced-by-count":1,"title":["A program specialiser for meta-level compositions of logic programs"],"prefix":"10.1007","volume":"16","author":[{"given":"Antonio","family":"Brogi","sequence":"first","affiliation":[]},{"given":"Simone","family":"Contiero","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF03037314_CR1","unstructured":"Barklund, J., \u201cMetaprogramming in Logic,\u201d inEncyclopedia of Computer Science and Technology (A. Kent and J. G. Williams, eds.), Marcel Dekker, pp. 205\u2013227, 1995."},{"key":"BF03037314_CR2","first-page":"343","volume-title":"Logic Programming: Proceedings of the 1990 North American Conference","author":"K. Benkerimi","year":"1990","unstructured":"Benkerimi, K. and Lloyd, J. W., \u201cA Partial Evaluation Procedure for Logic Programs,\u201d inLogic Programming: Proceedings of the 1990 North American Conference (S. Debray and M. Hermenegildo, eds.), Austin, Texas, October 1990, MIT Press, pp. 343\u2013358, 1990."},{"key":"BF03037314_CR3","unstructured":"Bowers, A. F. and Gurr, C. A., \u201cTowards Fast and Declarative Meta-Programming,\u201d inMeta-programming and Logic Programming (K. Apt and F. Turini, eds.), chapter 2, MIT Press, pp. 137\u2013166, 1995."},{"key":"BF03037314_CR4","unstructured":"Brogi, A. \u201cProgram Construction in Computational Logic,\u201dPh.D. thesis, Department of Computer Science, University of Pisa, 1993."},{"key":"BF03037314_CR5","unstructured":"Brogi, A. and Contiero, S., \u201cComposing Logic Programs by Meta-Programming in G\u00f6del,\u201d inMeta-programming and Logic Programming (K. Apt and F. Turini, eds.), chapter 7, MIT Press, pp. 167\u2013194, 1995."},{"issue":"4","key":"BF03037314_CR6","doi-asserted-by":"crossref","first-page":"1361","DOI":"10.1145\/183432.183528","volume":"16","author":"A. Brogi","year":"1994","unstructured":"Brogi, A., Mancarella, P., Pedreschi, D., and Turini, F., \u201cModular Logic Programming,\u201dACM Transactions on Programming Languages and Systems, 16, 4, pp. 1361\u20131398, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"BF03037314_CR7","unstructured":"Brogi, A., Renso, C., and Turini, F., \u201cAmalgamating Language and Meta-Language for Composing Logic Programs,\u201d inProceedings of the GULP-PRODE\u201994 Joint Conference on Declarative Programming (M. Alpuente, R. Barbuti, and I. Ramos, eds.),volume 2, pp. 408\u2013422, 1994."},{"key":"BF03037314_CR8","unstructured":"Brogi, A. and Turini, F., \u201cMeta-Logic for Program Composition: Semantics Issues,\u201d inMeta-logics and Logic Programming (K. R. Apt and F. Turini, eds.), chapter 4, MIT Press, pp. 83\u2013110, 1995."},{"issue":"1","key":"BF03037314_CR9","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF03037527","volume":"11","author":"M. Bruynooghe","year":"1992","unstructured":"Bruynooghe, M., De Schreye, D., and Martens, B., \u201cA General Criterion for Avoiding Infinite Unfolding during Partial Evaluation,\u201dNew Generation Computing, 11, 1, pp. 47\u201379, 1992.","journal-title":"New Generation Computing"},{"issue":"1\u20132","key":"BF03037314_CR10","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0743-1066(93)90024-B","volume":"16","author":"M. Bugliesi","year":"1993","unstructured":"Bugliesi, M., Lamma, E., and Mello, P., \u201cPartial Deduction for Structured Logic Programming,\u201dJournal of Logic Programming, 16, 1\u20132, pp. 89\u2013122, 1993.","journal-title":"Journal of Logic Programming"},{"key":"BF03037314_CR11","doi-asserted-by":"crossref","unstructured":"Costantini, S., Dell\u2019Acqua, P., and Lanzarone, G. A., \u201cExtending Horn Clauses Theories by Reflection Principles,\u201d inLecture Notes in Artificial Intelligence, n. 838 (M. C. MacNish, D. Pearce, and L. M. Pereira, eds.), Springer-Verlag, pp. 400\u2013413, 1994.","DOI":"10.1007\/BFb0021987"},{"issue":"3","key":"BF03037314_CR12","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0304-3975(89)90070-4","volume":"69","author":"M. Falaschi","year":"1989","unstructured":"Falaschi, M., Levi, G., Martelli, M., and Palamidessi, C., \u201cDeclarative Modeling of the Operational Behavior of Logic Languages,\u201dTheoretical Computer Science, 69, 3, pp. 289\u2013318, 1989.","journal-title":"Theoretical Computer Science"},{"key":"BF03037314_CR13","doi-asserted-by":"crossref","unstructured":"Futamura, Y., \u201cPartial Computation of Programs,\u201d inRIMS Symposia on Software Science and Engineering (G. Goos and J. Hartmanis, eds.),number 147 in LNCS, Springer-Verlag, pp. 1\u201335, 1982.","DOI":"10.1007\/3-540-11980-9_13"},{"key":"BF03037314_CR14","unstructured":"Gallagher, J., \u201cTransforming Logic Programs by Specialising Interpreters,\u201d inECAI-86, Proceedings of the 7th European Conference on Artificial Intelligence, Brighton, England, pp. 313\u2013326, 1986."},{"key":"BF03037314_CR15","doi-asserted-by":"crossref","unstructured":"Gallagher, J., \u201cTutorial on Specialisation of Logic Programs,\u201d inProceedings PEPM93, ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, ACM Press, pp. 88\u201398, 1993.","DOI":"10.1145\/154630.154640"},{"key":"BF03037314_CR16","first-page":"229","volume-title":"Proceedings of the Second Workshop on Meta-Programming in Logic","author":"J. Gallagher","year":"1990","unstructured":"Gallagher, J. and Bruynooghe, M., \u201cSome Low-Level Source Transformations for Logic Programs,\u201d inProceedings of the Second Workshop on Meta-Programming in Logic (M. Bruynooghe, eds.), Katholieke Universiteit Leuven, Belgium, pp. 229\u2013244, 1990."},{"issue":"3\u20134","key":"BF03037314_CR17","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF03037167","volume":"9","author":"J. Gallagher","year":"1991","unstructured":"Gallagher, J. and Bruynooghe, M., \u201cThe Derivation of an Alghorithm for Program Specialisation,\u201dNew Generation Computing, 9, 3\u20134, pp. 305\u2013333, 1991.","journal-title":"New Generation Computing"},{"key":"BF03037314_CR18","unstructured":"Gallagher, J. P., \u201cA System for Specialising Logic Program,\u201dTechnical Report, Tr-91-32, University of Bristol, 1991."},{"key":"BF03037314_CR19","unstructured":"Gurr, C. A., \u201cA Self-Applicable Partial Evaluator for the Logic Programming Language G\u00f6del,\u201dPh.D. thesis, University of Bristol, 1994."},{"key":"BF03037314_CR20","unstructured":"Hill, P. M. and Gallagher, J., \u201cMeta-Programming in Logic Programming,\u201d inHandbook of Logic in Artificial Intelligence and Logic Programming (A. Robinson and C. Hogger, eds.), chapter 5, Oxford University Press, 1996."},{"key":"BF03037314_CR21","unstructured":"Hill, P. M. and Lloyd, J. W., \u201cAnalysis of Metaprogram,\u201d inMetaprogramming in Logic Programming (H. D. Abramson and M. H. Rogers, eds.), MIT Press, pp. 23\u201352, 1989."},{"key":"BF03037314_CR22","unstructured":"Hill, P. M. and Lloyd, J. M.,The G\u00f6del Programming Language, MIT Press, 1994."},{"key":"BF03037314_CR23","unstructured":"J\u00f8rgensen, J., Leuschel, M., and Martens, B., \u201cConjunctive Partial Deduction,\u201d inProceedings of Sixth International Workshop on Logic Program Synthesis and Transformation LOPSTR-96 (J. Gallagher, eds.), pp. 46\u201362, 1996."},{"key":"BF03037314_CR24","doi-asserted-by":"crossref","unstructured":"Komorowski, J., \u201cAn Introduction to Partial Deduction,\u201d inMeta-Programming in Logic (A. Pettorossi, ed.), Uppsala, Sweden, June 1992 (Lecture Notes in Computer Science, vol. 649), Springer-Verlag, pp. 49\u201369, 1996.","DOI":"10.1007\/3-540-56282-6_4"},{"issue":"6","key":"BF03037314_CR25","first-page":"603","volume":"21","author":"E. Lamma","year":"1991","unstructured":"Lamma, E., Mello, P., and Natali, A., \u201cReflection Mechanisms for Combining Prolog Databases,\u201dSoftware: Practice and Experience, 21, 6, pp. 603\u2013624, 1991.","journal-title":"Software: Practice and Experience"},{"key":"BF03037314_CR26","unstructured":"Leuschel, M. and Martens, B., \u201cPartial Deduction of the Ground Representation and Its Application to Integrity Checking\u201d, inProceedings of ILPS\u201995, the International Logic Programming Symposium (J. Lloyd, ed.), MIT Press, pp. 495\u2013509, 1995."},{"key":"BF03037314_CR27","doi-asserted-by":"crossref","unstructured":"Leuschel, M. and Martens, B., \u201cGlobal Control for Partial Deduction through Characteristic Atoms and Global Trees,\u201d inProceedings of the 1996 Dagstuhl Seminar on Partial Evaluation, LNCS, 1110, pp. 263\u2013283, 1996.","DOI":"10.1007\/3-540-61580-6_13"},{"key":"BF03037314_CR28","unstructured":"Leuschel, M. and De Schreye, D., \u201cAn Almost Perfect Abstract Operation for Partial Deduction Using Characteristic Trees,\u201dTechnical Report, CW 215, Katholieke Universiteit Leuven, October 1995."},{"issue":"2\u20133","key":"BF03037314_CR29","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF03037139","volume":"6","author":"G. Levi","year":"1988","unstructured":"Levi, G. and Sardu, G., \u201cPartial Evaluation of Metaprograms in a \u201cMultiple Worlds\u201d Logic Language,\u201dNew Generation Computing, 6, 2\u20133, pp. 227\u2013247, 1988.","journal-title":"New Generation Computing"},{"key":"BF03037314_CR30","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W.,Foundations of Logic Programming, second edition, Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"BF03037314_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":"Lloyd, J. W. and Shepherdson, J. C., \u201cPartial Evaluation in Logic Programming,\u201dJournal of Logic Programming, 11, pp. 217\u2013242, 1991.","journal-title":"Journal of Logic Programming"},{"key":"BF03037314_CR32","doi-asserted-by":"crossref","unstructured":"Martens, B. and Gallagher, J., \u201cEnsuring Global Termination of Partial Deduction while Allowing flexible Polyvariance,\u201d inProceedings of ICLP95, the Twelfth International Conference on Logic Programming (L. Sterling, ed.), MIT Press, pp. 597\u2013611, 1995.","DOI":"10.7551\/mitpress\/4298.003.0059"},{"issue":"1","key":"BF03037314_CR33","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0743-1066(94)00015-X","volume":"22","author":"B. Martens","year":"1995","unstructured":"Martens, B. and De Schreye, D., \u201cWhy Untyped Non-Ground Meta-Programming Is Not (Much of) a Problem,\u201dJournal of Logic Programming, 22, 1, pp. 47\u201399, 1995.","journal-title":"Journal of Logic Programming"},{"key":"BF03037314_CR34","doi-asserted-by":"crossref","unstructured":"Martens, B. and De Schreye, D., \u201cAutomatic Finite Unfolding Using Well-Founded Measures,\u201d to appear inJournal of Logic Programming, 1996.","DOI":"10.1016\/0743-1066(95)00149-2"},{"issue":"1\u20132","key":"BF03037314_CR35","first-page":"97","volume":"122","author":"B. Martens","year":"1995","unstructured":"Martens, B., De Schreye, D., and Horv\u00e1th, T., \u201cSound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures,\u201dTheoretical Computer Science, 122, 1\u20132, pp. 97\u2013117, 1995.","journal-title":"Theoretical Computer Science"},{"key":"BF03037314_CR36","unstructured":"Monteiro, L. and Porto, A., \u201cContextual Logic Programming,\u201d inProceedings Sixth International Conference on Logic Programming (G. Levi and M. Martelli, eds.), MIT Press, pp. 284\u2013302, 1989."},{"key":"BF03037314_CR37","unstructured":"Owen, S., \u201cIssues in the Partial Evaluation of Meta-Interpreters,\u201d inMeta-Programming in Logic Programming (H. Abramson and M. H. Rogers, eds.), MIT Press, pp. 319\u2013340, 1989."},{"key":"BF03037314_CR38","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/0743-1066(94)90028-0","volume":"19 & 20","author":"A. Pettorossi","year":"1994","unstructured":"Pettorossi, A. and Proietti, M., \u201cTransformations of Logic Programs: Foundations and Techniques,\u201dJournal of Logic Programming, 19 & 20, pp. 261\u2013320, 1994.","journal-title":"Journal of Logic Programming"},{"key":"BF03037314_CR39","series-title":"The Royal Institute of Technology (KTH)","volume-title":"An Automatic Partial Evaluator for Full Prolog","author":"D. Sahlin","year":"1991","unstructured":"Sahlin, D., \u201cAn Automatic Partial Evaluator for Full Prolog,\u201dPh.D. thesis, The Royal Institute of Technology (KTH), Department of Telecommunications and Computer Systems, Stockholm, Sweden, 1991."},{"key":"BF03037314_CR40","unstructured":"S\u00f8rensen, M. and Gl\u00fcck, R., \u201cAn Algorithm of Generalization in Positive Supercompilation,\u201d inProceedings of ILPS\u201995, the International Logic Programming Symposium (J. Lloyd, ed.), MIT Press, pp. 465\u2013479, 1995."},{"key":"BF03037314_CR41","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0743-1066(89)90034-4","volume":"6","author":"L. Sterling","year":"1989","unstructured":"Sterling, L. and Beer, R., \u201cMetainterpreters for Expert System Construction,\u201dJournal of Logic Programming, 6, pp. 163\u2013178, 1989.","journal-title":"Journal of Logic Programming"},{"key":"BF03037314_CR42","unstructured":"Sterling, L. and Shapiro, E.,The Art of Prolog, MIT Press, 1986."},{"key":"BF03037314_CR43","unstructured":"Takeuchi, A., \u201cAffinity between Meta Interpreters and Partial Evaluation,\u201d inInformation Processing 86 (H.-J. Kugler, ed.), North-Holland, pp. 279\u2013282, 1986."},{"key":"BF03037314_CR44","unstructured":"Takeuchi, A. and Furukawa, K., \u201cPartial Evaluation of Prolog Programs and Its Application to Meta-Programming,\u201d inInformation Processing 86 (H.-J. Kugler, ed.), North-Holland, pp. 415\u2013420, 1986."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037314.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037314\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037314","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T20:19:19Z","timestamp":1710274759000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037314"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,6]]},"references-count":44,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1998,6]]}},"alternative-id":["BF03037314"],"URL":"https:\/\/doi.org\/10.1007\/bf03037314","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,6]]}}}