{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:13:54Z","timestamp":1725664434539},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615804"},{"type":"electronic","value":"9783540705895"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61580-6_9","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:01:16Z","timestamp":1330275676000},"page":"161-182","source":"Crossref","is-referenced-by-count":3,"title":["Reasoning about hierarchies of online program specialization systems"],"prefix":"10.1007","author":[{"given":"John","family":"Hatcliff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Gl\u00fcck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"9_CR1","volume-title":"Metavychislenija i ikh prilozhenija (Metacomputation and its applications)","author":"S.M. Abramov","year":"1995","unstructured":"S.M. Abramov. Metavychislenija i ikh prilozhenija (Metacomputation and its applications). Nauka, Moscow, 1995. (In Russian)."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Jonas 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"},{"key":"9_CR3","unstructured":"Jonas Barklund. Metaprogramming in logic. Technical Report 80, Uppsala University, Dept. of Computing Science, 1994."},{"issue":"3","key":"9_CR4","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1145\/169683.174155","volume":"15","author":"C. Consel","year":"1993","unstructured":"Charles Consel and Siau Cheng Khoo. Parameterized partial evaluation. ACM TOPLAS, 15(3):463\u2013493, 1993.","journal-title":"ACM TOPLAS"},{"issue":"2\u20133","key":"9_CR5","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BF03037133","volume":"6","author":"H. Fujita","year":"1988","unstructured":"Hiroshi Fujita and Koichi Furukawa. A self-applicable partial evaluator and its use in incremental compilation. New Generation Computing, 6(2\u20133):91\u2013118, June 1988.","journal-title":"New Generation Computing"},{"key":"9_CR6","first-page":"309","volume-title":"Towards multiple self-application","author":"R. Gl\u00fcck","year":"1991","unstructured":"Robert Gl\u00fcck. Towards multiple self-application. In Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 309\u2013320, New Haven, Connecticut, 1991. ACM Press."},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Robert Gl\u00fcck. On the mechanics of metasystem hierarchies in program transformation. In M. Proietti, editor, Logic Program Synthesis and Transformation (LoPSTr'95), volume 1048 of Lecture Notes in Computer Science, pages 234\u2013251. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-60939-3_18"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Robert Gl\u00fcck and Jesper J\u00f8rgensen. Efficient multi-level generating extensions for program specialization. In S.D. Swierstra and M. Hermenegildo, editors, Programming Languages: Implementations, Logics and Programs (PLILP'95), volume 982 of Lecture Notes in Computer Science, pages 259\u2013278. Springer-Verlag, 1995.","DOI":"10.1007\/BFb0026825"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Robert Gl\u00fcck and Andrei V. Klimov. Occam's razor in metacomputation: the notion of a perfect process tree. In P. Cousot, M. Falaschi, G. Fil\u00e8, and G. Rauzy, editors, Static Analysis. Proceedings. Lecture Notes in Computer Science, Vol. 724, pages 112\u2013123. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57264-3_34"},{"key":"9_CR10","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1145\/96877.96953","volume-title":"Proceedings of the ISSAC '90","author":"R. Gl\u00fcck","year":"1990","unstructured":"Robert Gl\u00fcck and Valentin F. Turchin. Application of metasystem transition to function inversion and transformation. In Proceedings of the ISSAC '90 (Tokyo, Japan), pages 286\u2013287. ACM Press, 1990."},{"key":"9_CR11","unstructured":"Corin A. Gurr. A self-applicable partial evaluator for the logic programming language G\u00f6del. Ph.d. thesis, University of Bristol, 1994."},{"key":"9_CR12","unstructured":"Patricia Hill and John Gallagher. Meta-programming in logic programming. Technical Report 94.22, School of Computer Studies, University of Leeds, 1994."},{"key":"9_CR13","volume-title":"The G\u00f6del Programming Language","author":"P. Hill","year":"1994","unstructured":"Patricia Hill and John W. Lloyd. The G\u00f6del Programming Language. MIT Press, Cambridge, Massachusetts, 1994."},{"key":"9_CR14","unstructured":"Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993."},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science 202","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3-540-15976-2_6","volume-title":"Rewriting Techniques and Applications","author":"N. D. Jones","year":"1985","unstructured":"Neil D. Jones, Peter Sestoft, and Harald S\u00f8ndergaard. An experiment in partial evaluation: the generation of a compiler generator. In J.-P. Jouannaud, editor, Rewriting Techniques and Applications, Dijon, France. Lecture Notes in Computer Science 202, pages 124\u2013140. Springer-Verlag, 1985."},{"issue":"1","key":"9_CR16","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF01806312","volume":"2","author":"N. D. Jones","year":"1989","unstructured":"Neil D. Jones, Peter Sestoft, and Harald S\u00f8ndergaard. Mix: a self-applicable partial evaluator for experiments in compiler generation. LISP and Symbolic Computation, 2(1):9\u201350, 1989.","journal-title":"LISP and Symbolic Computation"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Andrei Nemytykh, Victoria Pinchuck, and Valentin F. Turchin. A self-applicable supercompiler. In Olivier Danvy, Robert Gl\u00fcck, and Peter Thiemann, editors, Partial Evaluation. Proceedings, Lecture Notes in Computer Science, page to appear. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61580-6_16"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Flemming Nielson and Hanne R. Nielson. Multi-level lambda-calculi: an algebraic description. In Olivier Danvy, Robert Gl\u00fcck, and Peter Thiemann, editors, Partial Evaluation. Proceedings, Lecture Notes in Computer Science, page to appear. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61580-6_17"},{"issue":"3","key":"9_CR19","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1017\/S0956796800000745","volume":"3","author":"E. Ruf","year":"1993","unstructured":"Eric Ruf and Daniel Weise. On the specialization of online program specializers. Journal of Functional Programming, 3(3):251\u2013281, 1993.","journal-title":"Journal of Functional Programming"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Michael Sperber. Self-applicable online partial evaluation. In Olivier Danvy, Robert Gl\u00fcck, and Peter Thiemann, editors, Partial Evaluation. Proceedings, Lecture Notes in Computer Science, page to appear. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61580-6_23"},{"issue":"2","key":"9_CR21","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/954063.954069","volume":"14","author":"V. F. Turchin","year":"1979","unstructured":"Valentin F. Turchin. A supercompiler system based on the language Refal. SIGPLAN Notices, 14(2):46\u201354, 1979.","journal-title":"SIGPLAN Notices"},{"key":"9_CR22","unstructured":"Valentin F. Turchin. The language Refal, the theory of compilation and metasystem analysis. Courant Computer Science Report 20, Courant Institute of Mathematical Sciences, New York University, Feb. 1980 1980."},{"issue":"3","key":"9_CR23","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1145\/5956.5957","volume":"8","author":"V. F. Turchin","year":"1986","unstructured":"Valentin 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":"9_CR24","volume-title":"Refal-5, Programming Guide and Reference Manual","author":"V. F. Turchin","year":"1989","unstructured":"Valentin F. Turchin. Refal-5, Programming Guide and Reference Manual. New England Publishing Co., Holyoke, Massachusetts, 1989."},{"issue":"3","key":"9_CR25","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1017\/S0956796800000757","volume":"3","author":"V. F. Turchin","year":"1993","unstructured":"Valentin F. Turchin. Program transformation with metasystem transitions. Journal of Functional Programming, 3(3):283\u2013313, 1993.","journal-title":"Journal of Functional Programming"},{"key":"9_CR26","volume-title":"Programmirovanie na jazyke Refal: I. Neformal'noe vvedenie v programmirovanie na jazyke Refal. (Programming in the language Refal: I. Informal introduction to programming in the language Refal)","author":"V.F. Turchin","year":"1971","unstructured":"V.F. Turchin. Programmirovanie na jazyke Refal: I. Neformal'noe vvedenie v programmirovanie na jazyke Refal. (Programming in the language Refal: I. Informal introduction to programming in the language Refal). Preprint 41, Institute of Applied Mathematics, Academy of Sciences of the USSR, Moscow, 1971. (In Russian)."},{"key":"9_CR27","unstructured":"V.F. Turchin and A.P. Nemytykh. Metavariables: their implementation and use in program transformation. Technical Report CSc. TR 95-012, City College of the City University of New York, 1995."},{"key":"9_CR28","first-page":"89","volume-title":"Lecture Notes in Computer Science","author":"F. Harmelen van","year":"1992","unstructured":"Frank van Harmelen. Definable naming relations in meta-level systems. In A. Pettorossi, editor, Meta-Programming in Logic. Proceedings, volume 649 of Lecture Notes in Computer Science, pages 89\u2013104, Uppsala, Sweden, 1992. Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","Partial Evaluation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61580-6_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:08:18Z","timestamp":1605629298000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61580-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615804","9783540705895"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-61580-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}