{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:07:32Z","timestamp":1725487652640},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657651"},{"type":"electronic","value":"9783540489580"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48958-4_10","type":"book-chapter","created":{"date-parts":[[2007,7,23]],"date-time":"2007-07-23T02:11:42Z","timestamp":1185156702000},"page":"179-198","source":"Crossref","is-referenced-by-count":3,"title":["Generalization in Hierarchies of Online Program Specialization Systems"],"prefix":"10.1007","author":[{"given":"Robert","family":"Gl\u00fcck","sequence":"first","affiliation":[]},{"given":"John","family":"Hatcliff","sequence":"additional","affiliation":[]},{"given":"Jesper","family":"J\u00f8rgensen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,4,30]]},"reference":[{"key":"10_CR1","first-page":"121","volume-title":"1st International Workshop on Automated and Algorithmic Debugging","author":"S.M. Abramov","year":"1993","unstructured":"S.M. Abramov. Metacomputation and program testing. In 1st International Workshop on Automated and Algorithmic Debugging, pages 121\u2013135, Link\u00f6ping University, Sweden, 1993."},{"key":"10_CR2","series-title":"Lect Notes Comput Sci","first-page":"46","volume-title":"European Symposium on Programming","author":"M. Alpuente","year":"1996","unstructured":"M. Alpuente, M. Falaschi, and G. Vidal. Narrowing-driven partial evaluation of functional logic programs. In H.R. Nielson, editor, European Symposium on Programming, Lecture Notes in Computer Science, pages 46\u201361. Springer-Verlag, 1996."},{"key":"10_CR3","unstructured":"K. Apt and F. Turini Meta-Logics and Logic Programming, MIT Press, 1995."},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"J. Barklund. A basis for a multilevel metalogic programming language. Technical Report 81, Uppsala University, Dept. of Computing Science, 1994.","DOI":"10.1007\/3-540-58792-6_17"},{"issue":"1&2","key":"10_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0743-1066(93)90022-9","volume":"16","author":"R. Bol","year":"1993","unstructured":"R. Bol. Loop checking in partial deduction. J of Logic Programming, 16(1&2):25\u201346, 1993.","journal-title":"J of Logic Programming"},{"key":"10_CR6","unstructured":"S. Costantini and G. Lanzarone. A metalogic programming language. In G. Levi and M. Martelli, editors, Proceedings Sixth International Conference on Logic Programming,pages 218\u2013233. MIT Press, 1989."},{"key":"10_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Partial Evaluation","year":"1996","unstructured":"O. Danvy, R. Gl\u00fcck, and P. Thiemann, editors. Partial Evaluation, volume 1110 of Lecture Notes in Computer Science. Springer-Verlag, 1996."},{"key":"10_CR8","unstructured":"N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. vanLeeuwen, editor, Handbook of Theoretical Computer Science, pages 244\u2013320. Elsevier, 1992."},{"key":"10_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/3-540-62599-2_51","volume-title":"Modular Programming Languages","author":"U. Eisenecker","year":"1997","unstructured":"U. Eisenecker. Generative programming with C++. In H. M\u00f6ssenb\u00f6ck, editor, Modular Programming Languages, volume 1204 of Lecture Notes in Computer Science,pages 351\u2013365. Springer-Verlag, 1997."},{"key":"10_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1007\/3-540-60939-3_18","volume-title":"Logic Program Synthesis and Transformation LOPSTR\u201995","author":"R. Gl\u00fcck","year":"1996","unstructured":"R. Gl\u00fcck. On the mechanics of metasystem hierarchies in program transformation. In M. Proietti, editor, Logic Program Synthesis and Transformation LOPSTR\u201995, volume 1048 of Lecture Notes in Computer Science, pages 234\u2013251. Springer-Verlag, 1996."},{"issue":"2","key":"10_CR11","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1023\/A:1007763000430","volume":"10","author":"R. Gl\u00fcck","year":"1997","unstructured":"R. Gl\u00fcck and J. J\u00f8rgensen. An automatic program generator for multi-level specialization. Lisp and Symbolic Computation, 10(2):113\u2013158, 1997.","journal-title":"Lisp and Symbolic Computation"},{"key":"10_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1007\/3-540-57264-3_34","volume-title":"Static Analysis. Proceedings","author":"R. Gl\u00fcck","year":"1993","unstructured":"R. Gl\u00fcck and A.V. Klimov. Occam\u2019s razor in metacomputation: the notion of a perfect process tree. In P. Cousot, et al., editors, Static Analysis. Proceedings. Lecture Notes in Computer Science, Vol. 724, pages 112\u2013123. Springer-Verlag, 1993."},{"key":"10_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Partial Evaluation","author":"J. Hatcliff","year":"1996","unstructured":"J. Hatcliff and R. Gl\u00fcck. Reasoning about hierarchies of online specialization systems. In Danvy et al. R. Gl\u00fcck, and P. Thiemann, editors. Partial Evaluation, volume 1110 of Lecture Notes in Computer Science. Springer-Verlag, 1996 [7]."},{"key":"10_CR14","unstructured":"P. Hill and J. Gallagher. Meta-programming in logic programming. Technical Report 94.22, School of Computer Studies, University of Leeds, 1994."},{"key":"10_CR15","unstructured":"P. Hill and J.W. Lloyd. The G\u00f6del Programming Language. MIT Press, 1994."},{"key":"10_CR16","unstructured":"Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993."},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"M. Leuschel. Homeomorphic embedding for online termination. Technical Report DSSE-TR-98-11, University of Southampton, Dept. of Electronics and Computer Science, 1998.","DOI":"10.1007\/3-540-49727-7_14"},{"key":"10_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/3-540-49727-7_14","volume-title":"Static Analysis. Proceedings","author":"M. Leuschel","year":"1998","unstructured":"M. Leuschel. On the power of homeomorphic embedding for online termination. G. Levi, editor, Static Analysis. Proceedings. Lecture Notes in Computer Science, Vol. 1503, pages 230\u2013245, Springer-Verlag 1998."},{"key":"10_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/3-540-61580-6_13","volume-title":"Partial Evaluation","author":"M. Leuschel","year":"1996","unstructured":"M. Leuschel and B. Martens. Global control for partial deduction through characteristic atoms and global trees. In Danvy et al. R. Gl\u00fcck, and P. Thiemann, editors. Partial Evaluation, volume 1110 of Lecture Notes in Computer Science. Springer-Verlag, 1996 [7], pages 263\u2013283."},{"key":"10_CR20","first-page":"499","volume":"5","author":"G. Nadathur","year":"1998","unstructured":"G. Nadathur and D. Miller. Higher-Order Logic Programming. In Handbook of Logic in AI and Logic Programming, Vol. 5, pages 499\u2013590, Oxford University Press, 1998.","journal-title":"Handbook of Logic in AI and Logic Programming"},{"key":"10_CR21","first-page":"261","volume":"19 & 20","author":"A. P. M. Proietti","year":"1994","unstructured":"A. Pettorossi, 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":"10_CR22","unstructured":"M.H. S\u00f8rensen and R. Gl\u00fcck. An algorithm of generalization in positive super-compilation. In J.W. Lloyd, editor, Logic Programming: Proceedings of the 1995 International Symposium, pages 465\u2013479. MIT Press, 1995."},{"key":"10_CR23","unstructured":"L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, 1986."},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"W. Taha and T. Sheard. Multi-stage programming with explicit annotations. In Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 203\u2013217, 1997.","DOI":"10.1145\/258993.259019"},{"issue":"3","key":"10_CR25","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/5956.5957","volume":"8","author":"V.F. Turchin","year":"1986","unstructured":"V.F. Turchin. The concept of a supercompiler. Transactions on Programming Languages and Systems, 8(3):292\u2013325, 1986.","journal-title":"Transactions on Programming Languages and Systems"},{"key":"10_CR26","series-title":"Lect Notes Comput Sci","volume-title":"Partial Evaluation","author":"V.F. Turchin","year":"1996","unstructured":"V.F. Turchin. Metacomputation: metasystem transitions plus supercompilation. In Danvy et al.R. Gl\u00fcck, and P. Thiemann, editors. Partial Evaluation, volume 1110 of Lecture Notes in Computer Science. Springer-Verlag, 1996 [7]."},{"key":"10_CR27","unstructured":"V.F. Turchin. On generalization of lists and strings in supercompilation. Technical Report CSc. TR 96-002, City College of the City University of New York, 1996."},{"key":"10_CR28","unstructured":"V.F. Turchin and A.P. Nemytykh. Metavariables: their implementation and use in program transformation. CSc. TR 95-012, City College of the City University of New York, 1995."},{"key":"10_CR29","series-title":"Lect Notes Comput Sci","first-page":"314","volume-title":"Logic Program Synthesis and Transformation (LOPSTR\u201997)","author":"W. Vanhoof","year":"1998","unstructured":"W. Vanhoof and B. Martens. To parse or not to parse. In N. Fuchs (ed.), Logic Program Synthesis and Transformation (LOPSTR\u201997), Lecture Notes in Computer Science, Vol. 1463, pages 314\u2013333, Springer-Verlag 1998."}],"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-48958-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T11:42:07Z","timestamp":1556710927000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48958-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657651","9783540489580"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-48958-4_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}