{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T22:18:12Z","timestamp":1761862692515},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540667100"},{"type":"electronic","value":"9783540470182"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-47018-2_13","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T13:01:22Z","timestamp":1184590882000},"page":"326-337","source":"Crossref","is-referenced-by-count":5,"title":["Multi-Level Specialization"],"prefix":"10.1007","author":[{"given":"Robert","family":"Gl\u00fcck","sequence":"first","affiliation":[]},{"given":"Jesper","family":"J\u00f8rgensen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"L.O. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU Report 94\/19, Dept. of Computer Science, University of Copenhagen, 1994.","key":"13_CR1"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(76)90011-4","volume":"7","author":"L. Beckman","year":"1976","unstructured":"L. Beckman, A. Haxaldson, \u00d6. Oskarsson, E. Sandewall. A partial evaluator and its use as a programming tool. Artificial Intelligence, 7:319\u2013357, 1976.","journal-title":"Artificial Intelligence"},{"key":"13_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/3-540-58402-1_15","volume-title":"Programming Language Implementation and Logic Programming","author":"L. Birkedal","year":"1994","unstructured":"L. Birkedal, M. Welinder. Hand-writing program generator generators. In M. Hermenegildo, J. Penjam (eds.), Programming Language Implementation and Logic Programming. LNCS 844, 198\u2013214, Springer-Verlag 1994."},{"unstructured":"D. Bj\u00f8rner, A.P. Ershov, N.D. Jones (eds.). Partial Evaluation and Mixed Computation. North-Holland 1988.","key":"13_CR4"},{"issue":"3","key":"13_CR5","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1017\/S0956796800000769","volume":"3","author":"A. Bondorf","year":"1993","unstructured":"A. Bondorf, J. J\u00f8rgensen. Efficient analyses for realistic off-line partial evaluation. Journal of Functional Programming, 3(3):315\u2013346, 1993.","journal-title":"Journal of Functional Programming"},{"key":"13_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Partial Evaluation","year":"1996","unstructured":"O. Danvy, R. Gl\u00fcck, P. Thiemann (eds.). Partial Evaluation. LNCS 1110, Springer-Verlag 1996."},{"key":"13_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","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 (ed.), Modular Programming Languages, LNCS 1204, 351\u2013365, Springer-Verlag 1997."},{"unstructured":"A.P. Ershov. On the essence of compilation. In E.J. Neuhold (ed.), Formal Description of Programming Concepts, 391\u2013420. North-Holland 1978.","key":"13_CR8"},{"doi-asserted-by":"crossref","unstructured":"R. Gl\u00fcck. Towards multiple self-application. In Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 309\u2013320, ACM Press 1991.","key":"13_CR9","DOI":"10.1145\/115865.115900"},{"key":"13_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/BFb0026825","volume-title":"Programming Languages, Implementations, Logics and Programs","author":"R. Gl\u00fcck","year":"1995","unstructured":"R. Gl\u00fcck, J. J\u00f8rgensen. Efficient multi-level generating extensions for program specialization. In M. Hermenegildo, S.D. Swierstra (eds.) Programming Languages, Implementations, Logics and Programs, LNCS 982, 259\u2013278, Springer-Verlag 1995."},{"key":"13_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/3-540-62064-8_22","volume-title":"Perspectives of System Informatics","author":"R. Gl\u00fcck","year":"1996","unstructured":"R. Gl\u00fcck, J. J\u00f8rgensen. Fast binding-time analysis for multi-level specialization. In D. Bj\u00f8rner, M. Broy, I.V. Pottosin (eds.) Perspectives of System Informatics, LNCS 1181, 261\u2013272, Springer-Verlag 1996."},{"issue":"2","key":"13_CR12","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1023\/A:1007763000430","volume":"10","author":"R. Gl\u00fcck","year":"1997","unstructured":"R. Gl\u00fcck, 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"},{"unstructured":"N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall 1993.","key":"13_CR13"},{"issue":"1","key":"13_CR14","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF01806312","volume":"2","author":"N.D. Jones","year":"1989","unstructured":"N.D. Jones, P. Sestoft, and H. 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"},{"unstructured":"C.K. Hoist. Syntactic currying: yet another approach to partial evaluation. Student report, DIKU, Dept. of Computer Science, University of Copenhagen, 1989.","key":"13_CR15"},{"key":"13_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/3-540-61580-6_17","volume-title":"Partial Evaluation","author":"F. Nielson","year":"1996","unstructured":"F. Nielson, H.R. Nielson. Multi-level lambda-calculus: an algebraic description. In R. Gl\u00fcck, P. Thiemann (eds.). Partial Evaluation. LNCS 1110, Springer-Verlag [6], 338\u2013354, 1996."},{"doi-asserted-by":"crossref","unstructured":"F. Nielson, H.R. Nielson. Prescriptive frameworks for multi-level lambda-calculi. In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 193\u2013202, ACM Press 1997.","key":"13_CR17","DOI":"10.1145\/258993.259018"},{"unstructured":"S.A. Romanenko. A compiler generator produced by a self-applicable specializer can have a surprisingly natural and understandable structure. In A.P. Ershov, N.D. Jones (eds.). Partial Evaluation and Mixed Computation. North-Holland [4], 445\u2013463, 1988.","key":"13_CR18"},{"doi-asserted-by":"crossref","unstructured":"W. Taha, T. Sheard. Multi-stage programming with explicit annotations. In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 203\u2013217, ACM Press 1997.","key":"13_CR19","DOI":"10.1145\/258993.259019"},{"doi-asserted-by":"crossref","unstructured":"P. Thiemann. Cogen in six lines. In International Conference on Functional Programming, 180\u2013189, ACM Press 1996.","key":"13_CR20","DOI":"10.1145\/232627.232647"},{"unstructured":"P. Thiemann. The PGG system \u2014 user manual. Dept. of Computer Science, University of Nottingham, 1998.","key":"13_CR21"}],"container-title":["Lecture Notes in Computer Science","Partial Evaluation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47018-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T23:53:46Z","timestamp":1556668426000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47018-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540667100","9783540470182"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-47018-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}