{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T22:10:07Z","timestamp":1748815807319,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662494974"},{"type":"electronic","value":"9783662494981"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-49498-1_11","type":"book-chapter","created":{"date-parts":[[2016,3,21]],"date-time":"2016-03-21T13:36:06Z","timestamp":1458567366000},"page":"255-281","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Automatically Splitting a Two-Stage Lambda Calculus"],"prefix":"10.1007","author":[{"given":"Nicolas","family":"Feltman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo","family":"Angiuli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Umut A.","family":"Acar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kayvon","family":"Fatahalian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"11_CR1","doi-asserted-by":"publisher","first-page":"3:1","DOI":"10.1145\/1596527.1596530","volume":"32","author":"UA Acar","year":"2009","unstructured":"Acar, U.A., Blelloch, G.E., Blume, M., Harper, R., Tangwongsan, K.: An experimental analysis of self-adjusting computation. ACM Trans. Prog. Lang. Sys. 32(1), 3:1\u20133:53 (2009)","journal-title":"ACM Trans. Prog. Lang. Sys."},{"issue":"2","key":"11_CR2","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0167-6423(91)90002-F","volume":"16","author":"A Bondorf","year":"1991","unstructured":"Bondorf, A., Danvy, O.: Automatic autoprojection of recursive equations with global variable and abstract data types. Sci. Comput. Program. 16(2), 151\u2013195 (1991)","journal-title":"Sci. Comput. Program."},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/3-540-19027-9_16","volume-title":"ESOP \u201988","author":"C Consel","year":"1988","unstructured":"Consel, C.: New insights into partial evaluation: the schism experiment. In: Ganzinger, H. (ed.) ESOP \u201988. Lecture Notes in Computer Science, vol. 300, pp. 236\u2013246. Springer, Heidelberg (1988)"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Davies, R.: A temporal-logic approach to binding-time analysis. In: LICS, pp. 184\u2013195 (1996)","DOI":"10.1109\/LICS.1996.561317"},{"issue":"3","key":"11_CR5","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/382780.382785","volume":"48","author":"R Davies","year":"2001","unstructured":"Davies, R., Pfenning, F.: A modal analysis of staged computation. J. ACM 48(3), 555\u2013604 (2001)","journal-title":"J. ACM"},{"issue":"9","key":"11_CR6","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1145\/115866.115880","volume":"26","author":"A Niel De","year":"1991","unstructured":"De Niel, A., Bevers, E., De Vlaminck, K.: Program bifurcation for a polymorphically typed functional language. SIGPLAN Not. 26(9), 142\u2013153 (1991)","journal-title":"SIGPLAN Not."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Demers, A., Reps, T., Teitelbaum, T.: Incremental evaluation of attribute grammars with application to syntax-directed editors. In: Principles of Programming Languages, pp. 105\u2013116 (1981)","DOI":"10.1145\/567532.567544"},{"issue":"4","key":"11_CR8","doi-asserted-by":"publisher","first-page":"107:1","DOI":"10.1145\/2010324.1965002","volume":"30","author":"T Foley","year":"2011","unstructured":"Foley, T., Hanrahan, P.: Spark: modular, composable shaders for graphics hardware. ACM Trans. Graph. 30(4), 107:1\u2013107:12 (2011)","journal-title":"ACM Trans. Graph."},{"issue":"5","key":"11_CR9","first-page":"45","volume":"2","author":"Y Futamura","year":"1971","unstructured":"Futamura, Y.: Partial evaluation of computation process - an approach to a compiler-compiler. Syst. Comput. Controls 2(5), 45\u201350 (1971)","journal-title":"Syst. Comput. Controls"},{"issue":"1","key":"11_CR10","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1017\/S0956796800000058","volume":"1","author":"CK Gomard","year":"1991","unstructured":"Gomard, C.K., Jones, N.D.: A partial evaluator for the untyped lambda-calculus. J. Funct. Program. 1(1), 21\u201369 (1991)","journal-title":"J. Funct. Program."},{"issue":"4","key":"11_CR11","doi-asserted-by":"publisher","first-page":"142:1","DOI":"10.1145\/2601097.2601105","volume":"33","author":"Y He","year":"2014","unstructured":"He, Y., Gu, Y., Fatahalian, K.: Extending the graphics pipeline with adaptive, multi-rate shading. ACM Trans. Graph. 33(4), 142:1\u2013142:12 (2014)","journal-title":"ACM Trans. Graph."},{"issue":"7","key":"11_CR12","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1145\/366622.366644","volume":"4","author":"CAR Hoare","year":"1961","unstructured":"Hoare, C.A.R.: Algorithm 65: find. Commun. ACM 4(7), 321\u2013322 (1961)","journal-title":"Commun. ACM"},{"issue":"3","key":"11_CR13","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1145\/243439.243447","volume":"28","author":"ND Jones","year":"1996","unstructured":"Jones, N.D.: An introduction to partial evaluation. ACM Comput. Surv. 28(3), 480\u2013503 (1996)","journal-title":"ACM Comput. Surv."},{"key":"11_CR14","series-title":"Prentice Hall International Series in Computer Science","volume-title":"Partial Evaluation and Automatic Program Generation","author":"ND Jones","year":"1993","unstructured":"Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice Hall International Series in Computer Science. Prentice Hall, UPPER SADDLE RIVER (1993)"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"J\u00f8rring, U., Scherlis, W.L.: Compilers and staging transformations. In: Proceedings of the 13th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. POPL 1986, NY, USA, pp. 86\u201396. ACM, New York (1986)","DOI":"10.1145\/512644.512652"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Knoblock, T.B., Ruf, E.: Data specialization. In: Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation. PLDI 1996, NY, USA, pp. 215\u2013225. ACM, New York (1996)","DOI":"10.1145\/249069.231428"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1007\/3-540-50940-2_43","volume-title":"TAPSOFT 1989","author":"TA Mogensen","year":"1989","unstructured":"Mogensen, T.A.: Binding time analysis for polymorphically typed higher order languages. In: D\u00edaz, J., Orejas, F. (eds.) TAPSOFT 1989. LNCS, vol. 352, pp. 298\u2013312. Springer, Heidelberg (1989). Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Mogensen, T.A.: Separating binding times in language specifications. In: Proceedings of the Fourth International Conference on Functional Programming Languages and Computer Architecture. FPCA 1989, NY, USA, pp. 12\u201325. ACM, New York (1989)","DOI":"10.1145\/99370.99372"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/11538363_6","volume-title":"Computer Science Logic","author":"T Murphy VII","year":"2005","unstructured":"Murphy VII, T., Crary, K., Harper, R.: Distributed control flow with classical modal logic. In: Ong, L. (ed.) CSL 2005. LNCS, vol. 3634, pp. 51\u201369. Springer, Heidelberg (2005)"},{"issue":"5","key":"11_CR20","doi-asserted-by":"publisher","first-page":"893","DOI":"10.1017\/S095679680500568X","volume":"15","author":"A Nanevski","year":"2005","unstructured":"Nanevski, A., Pfenning, F.: Staged computation with names and necessity. J. Funct. Program. 15(5), 893\u2013939 (2005)","journal-title":"J. Funct. Program."},{"key":"11_CR21","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, New York (1992)"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Proudfoot, K., Mark, W.R., Tzvetkov, S., Hanrahan, P.: A real-time procedural shading system for programmable graphics hardware. In: Proceedings of the 28th Annual Conference on Computer Graphics and Interactive Techniques. SIGGRAPH 2001, pp. 159\u2013170. ACM (2001)","DOI":"10.1145\/383259.383275"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Pugh, W., Teitelbaum, T.: Incremental computation via function caching. In: Principles of Programming Languages, pp. 315\u2013328 (1989)","DOI":"10.1145\/75277.75305"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Ramalingam, G., Reps, T.: A categorized bibliography on incremental computation. In: Principles of Programming Languages, pp. 502\u2013510 (1993)","DOI":"10.1145\/158511.158710"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Reynolds, J.C.: Definitional interpreters for higher-order programming languages. In: Proceedings of the ACM Annual Conference. ACM 1972, NY, USA, vol. 2, pp. 717\u2013740. ACM, New York (1972)","DOI":"10.1145\/800194.805852"},{"key":"11_CR26","volume-title":"The OpenGL Graphics System: A Specification (Version 4.0)","author":"M Segal","year":"2010","unstructured":"Segal, M., Akeley, K.: The OpenGL Graphics System: A Specification (Version 4.0). The Khronos Group, Inc., Beaverton (2010)"},{"key":"11_CR27","unstructured":"Taha, W.: Multi-Stage Programming: Its Theory and Applications. Ph.D. thesis, Oregon Graduate Institute of Science and Technology(1999)"},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Taha, W., Sheard, T.: Multi-stage programming with explicit annotations. In: Proceedings of the 1997 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation. PEPM 1997 (1997)","DOI":"10.1145\/258993.259019"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49498-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T21:35:12Z","timestamp":1748813712000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49498-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662494974","9783662494981"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49498-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}