{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:14:37Z","timestamp":1725574477838},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201021"},{"type":"electronic","value":"9783540398158"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39815-8_5","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T09:49:51Z","timestamp":1294393791000},"page":"77-96","source":"Crossref","is-referenced-by-count":0,"title":["On Stage Ordering in Staged Computation"],"prefix":"10.1007","author":[{"given":"Zhenghao","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard R.","family":"Muntz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Consel, C., No\u00ebl, F.: A general approach for run-time specialization and its application to C. In: Proc. of the 23th ACM Symposium on Principles of Programming Languages, pp. 145\u2013156 (1996)","DOI":"10.1145\/237721.237767"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","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":"Gl\u00fcck, R., J\u00f8rgensen, J.: Efficient multi-level generating extensions for program specialization. In: Swierstra, S.D. (ed.) PLILP 1995. LNCS, vol.\u00a0982, pp. 259\u2013278. Springer, Heidelberg (1995)"},{"issue":"1- 2","key":"5_CR3","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0304-3975(00)00051-7","volume":"248","author":"B. Grant","year":"2000","unstructured":"Grant, B., Mock, M., Philipose, M., Chambers, C., Eggers, S.: DyC: An expressive annotation-directed dynamic compiler for C. Theoretical Computer Science\u00a0248(1- 2), 147\u2013199 (2000)","journal-title":"Theoretical Computer Science"},{"key":"5_CR4","unstructured":"Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice Hall International, Englewood Cliffs (1993)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Lee, P., Leone, M.: Optimizing ML with run-time code generation. In: Proc. of Programming Language Design and Implementation Conf., pp. 137\u2013148 (1996)","DOI":"10.1145\/231379.231407"},{"key":"5_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526572","volume-title":"Two-Level Functional Languages","author":"F. Nielson","year":"1992","unstructured":"Nielson, F., Nielson, H.R.: Two-Level Functional Languages. Cambridge University Press, Cambridge (1992)"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1007\/3-540-61580-6_17","volume-title":"Multi-level lambda-calculi: an algebraic description","author":"F. Nielson","year":"1996","unstructured":"Nielson, F., Nielson, H.R.: Multi-level lambda-calculi: an algebraic description. LNCS, pp. 338\u2013354. Springer, Heidelberg (1996)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Nielson, F., Nielson, H.R.: A prescriptive framework for designing multi-level lambda-calculi. In: Proc. of the 1997 ACM Symposium on Partial Evaluation and Semantics-based Program Manipulation, pp. 193\u2013202 (June 1997)","DOI":"10.1145\/258994.259018"},{"key":"5_CR9","unstructured":"Taha, W.: Multi-Stage Programming: Its Theory and Applications. PhD thesis, Oregon Graduate Institute of Science and Technology (November 1999)"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Taha, W., Sheard, T.: Multi-stage programming with explicit annotations. In: Proc. of the 1997 ACM Symposium on Partial Evaluation and Semantics-based Program Manipulation, pp. 203\u2013217 (June 1997)","DOI":"10.1145\/258993.259019"}],"container-title":["Lecture Notes in Computer Science","Generative Programming and Component Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39815-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T13:40:13Z","timestamp":1559914813000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39815-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201021","9783540398158"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39815-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}