{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:07:39Z","timestamp":1743149259918,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662468227"},{"type":"electronic","value":"9783662468234"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46823-4_26","type":"book-chapter","created":{"date-parts":[[2015,4,18]],"date-time":"2015-04-18T01:40:54Z","timestamp":1429321254000},"page":"320-334","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards Specializing JavaScript Programs"],"prefix":"10.1007","author":[{"given":"Peter","family":"Thiemann","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,19]]},"reference":[{"key":"26_CR1","unstructured":"Andersen, L.O.: Program analysis and specialization for the c programming language. Ph.D. thesis, DIKU, University of Copenhagen (DIKU report 94\/19) May 1994"},{"key":"26_CR2","unstructured":"Birkedal, L., Welinder, M.: Partial evaluation of Standard ML. Rapport 93\/22, DIKU, University of Copenhagen (1993)"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Bolz, C.F., et al.: Allocation removal by partial evaluation in a tracing JIT. In: PEPM 2011, Austin, TX, USA, pp. 43\u201352. ACM, January 2011","DOI":"10.1145\/1929501.1929508"},{"key":"26_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(91)90035-V","volume":"17","author":"A Bondorf","year":"1991","unstructured":"Bondorf, A.: Automatic autoprojection of higher order recursive equations. Sci. Comput. Program. 17, 3\u201334 (1991)","journal-title":"Sci. Comput. Program."},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Consel, C.: A tour of schism. In: Proceedings of the 1993 ACM Workshop Partial Evaluation and Semantics-Based Program Manipulation, Copenhagen, Denmark, pp. 134\u2013154. ACM Press, June 1993","DOI":"10.1145\/154630.154645"},{"issue":"1\u20133","key":"26_CR6","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1016\/j.scico.2004.03.011","volume":"52","author":"C Consel","year":"2004","unstructured":"Consel, C., Lawall, J., Le Meur, A.-F.: A tour of tempo: a program specializer for the C language. Sci. Comput. Program. 52(1\u20133), 341\u2013370 (2004)","journal-title":"Sci. Comput. Program."},{"key":"26_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Partial Evaluation","year":"1996","unstructured":"Danvy, O., Thiemann, P., Gl\u00fcck, R. (eds.): Dagstuhl Seminar 1996. LNCS, vol. 1110. Springer, Heidelberg (1996)"},{"issue":"6","key":"26_CR8","doi-asserted-by":"publisher","first-page":"730","DOI":"10.1145\/236114.236119","volume":"18","author":"O Danvy","year":"1996","unstructured":"Danvy, O., Malmkj\u00e6r, K., Palsberg, J.: Eta-expansion does the trick. ACM TOPLAS 18(6), 730\u2013751 (1996)","journal-title":"ACM TOPLAS"},{"issue":"5","key":"26_CR9","first-page":"45","volume":"2","author":"Y Futamura","year":"1971","unstructured":"Futamura, Y.: Partial evaluation of computation process \u2013 an approach to a compiler-compiler. Syst. Comput. Controls 2(5), 45\u201350 (1971)","journal-title":"Syst. Comput. Controls"},{"key":"26_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Partial Evaluation. Practice and Theory","year":"1999","unstructured":"Hatcliff, J., Thiemann, P. (eds.): DIKU 1998. LNCS, vol. 1706. Springer, Heidelberg (1999)"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"Hedin, D., et al.: JSFlow: tracking information flow in JavaScript and its APIs. In: ACM Symposium on Applied Computing (SAC 2014), Gyeongju, Korea, March 2014","DOI":"10.1145\/2554850.2554909"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Hedin, D., Sabelfeld, A.: Information-flow security for a core of JavaScript. In: Chong, A.S. (ed.) CSF 2012, pp. 3\u201318. IEEE (2012)","DOI":"10.1109\/CSF.2012.19"},{"issue":"4","key":"26_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1011508.1011510","volume":"26","author":"S Helsen","year":"2004","unstructured":"Helsen, S., Thiemann, P.: Polymorphic specialization for ML. ACM TOPLAS 26(4), 1\u201350 (2004)","journal-title":"ACM TOPLAS"},{"key":"26_CR14","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N Jones","year":"1993","unstructured":"Jones, N., Gomard, C., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice-Hall, New Jersey (1993)"},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"Jones, N. D.: What not to do when writing an interpreter for specialisation. In: Danvy et al. [7], pp. 216\u2013237","DOI":"10.1007\/3-540-61580-6_11"},{"key":"26_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/3-540-15976-2_6","volume-title":"Rewriting Techniques and Applications","author":"ND Jones","year":"1985","unstructured":"Jones, N.D., Sestoft, P., S\u00f8ndergaard, H.: An experiment in partial evaluation: the generation of a compiler generator. In: Jouannaud, J.-P. (ed.) RTA 1985. LNCS, vol. 202, pp. 124\u2013140. Springer, Heidelberg (1985)"},{"key":"26_CR17","unstructured":"J\u00f8rgensen, J.: Compiler generation by partial evaluation. Master\u2019s thesis, DIKU, University of Copenhagen (1991)"},{"key":"26_CR18","unstructured":"Mogensen, T.\u00c6.: Partially static structures in a self-applicable partial evaluator. In: Partial Evaluation and Mixed Computation, pp. 325\u2013347. North-Holland, Amsterdam (1988)"},{"key":"26_CR19","doi-asserted-by":"crossref","unstructured":"Sperber, M.: Self-applicable online partial evaluation. In: Danvy et al. [7], pp. 465\u2013480","DOI":"10.1007\/3-540-61580-6_23"},{"issue":"2\/3","key":"26_CR20","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1023\/A:1012984529382","volume":"14","author":"E Sumii","year":"2001","unstructured":"Sumii, E., Kobayashi, N.: A hybrid approach to online and offline partial evaluation. Higher-Order Symbol. Comput. 14(2\/3), 101\u2013142 (2001)","journal-title":"Higher-Order Symbol. Comput."}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46823-4_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T16:16:37Z","timestamp":1674231397000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-46823-4_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662468227","9783662468234"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46823-4_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"19 April 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}