{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T18:00:22Z","timestamp":1742925622881,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642331817"},{"type":"electronic","value":"9783642331824"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33182-4_6","type":"book-chapter","created":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T21:30:53Z","timestamp":1346535053000},"page":"57-71","source":"Crossref","is-referenced-by-count":3,"title":["Parameter Based Constant Propagation"],"prefix":"10.1007","author":[{"given":"P\u00e9ricles Rafael Oliveira","family":"Alves","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor Rafael","family":"de Assis Costa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando Magno Quint\u00e3o","family":"Pereira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduardo Lage","family":"Figueiredo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Alpern, B., Wegman, M.N., Zadeck, F.K.: Detecting equality of variables in programs. In: POPL, pp. 1\u201311. ACM (1988)","key":"6_CR1","DOI":"10.1145\/73560.73561"},{"issue":"2","key":"6_CR2","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/857076.857077","volume":"35","author":"J. Aycock","year":"2003","unstructured":"Aycock, J.: A brief history of just-in-time. ACM Computing Surveys\u00a035(2), 97\u2013113 (2003)","journal-title":"ACM Computing Surveys"},{"doi-asserted-by":"crossref","unstructured":"Bala, V., Duesterwald, E., Banerjia, S.: Dynamo: A transparent dynamic optimization system. In: PLDI, pp. 1\u201312. ACM (2000)","key":"6_CR3","DOI":"10.1145\/358438.349303"},{"doi-asserted-by":"crossref","unstructured":"Bodik, R., Gupta, R., Sarkar, V.: ABCD: Eliminating array bounds checks on demand. In: PLDI, pp. 321\u2013333. ACM (2000)","key":"6_CR4","DOI":"10.1145\/358438.349342"},{"unstructured":"Chaganti, P.: Google Web Toolkit GWT Java AJAX Programming, 1st edn. PACKT (2007)","key":"6_CR5"},{"issue":"7","key":"6_CR6","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1145\/74818.74831","volume":"24","author":"C. Chambers","year":"1989","unstructured":"Chambers, C., Ungar, D.: Customization: Optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language. SIGPLAN Not.\u00a024(7), 146\u2013160 (1989)","journal-title":"SIGPLAN Not."},{"doi-asserted-by":"crossref","unstructured":"Chang, M., Smith, E., Reitmaier, R., Bebenita, M., Gal, A., Wimmer, C., Eich, B., Franz, M.: Tracing for web 3.0: Trace compilation for the next generation web applications. In: VEE, pp. 71\u201380. ACM (2009)","key":"6_CR7","DOI":"10.1145\/1508293.1508304"},{"issue":"12","key":"6_CR8","doi-asserted-by":"publisher","first-page":"1301","DOI":"10.1002\/spe.4380211204","volume":"21","author":"P.P. Chang","year":"1991","unstructured":"Chang, P.P., Mahlke, S.A., Hwu, W.-M.W.: Using profile information to assist classic code optimizations. Software Practice and Experience\u00a021(12), 1301\u20131321 (1991)","journal-title":"Software Practice and Experience"},{"issue":"4","key":"6_CR9","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficiently computing static single assignment form and the control dependence graph. TOPLAS\u00a013(4), 451\u2013490 (1991)","journal-title":"TOPLAS"},{"doi-asserted-by":"crossref","unstructured":"Richards, G., Lebresne, S., Burg, B., Vitek, J.: An analysis of the dynamic behavior of JavaScript programs. In: PLDI, pp. 1\u201312 (2010)","key":"6_CR10","DOI":"10.1145\/1809028.1806598"},{"doi-asserted-by":"crossref","unstructured":"Gal, A., Eich, B., Shaver, M., Anderson, D., Kaplan, B., Hoare, G., Mandelin, D., Zbarsky, B., Orendorff, J., Ruderman, J., Smith, E., Reitmair, R., Haghighat, M.R., Bebenita, M., Change, M., Franz, M.: Trace-based just-in-time type specialization for dynamic languages. In: PLDI, pp. 465\u2013478. ACM (2009)","key":"6_CR11","DOI":"10.1145\/1543135.1542528"},{"doi-asserted-by":"crossref","unstructured":"Gal, A., Probst, C.W., Franz, M.: HotpathVM: An effective JIT compiler for resource-constrained devices. In: VEE, pp. 144\u2013153 (2006)","key":"6_CR12","DOI":"10.1145\/1134760.1134780"},{"doi-asserted-by":"crossref","unstructured":"Gardner, P., Maffeis, S., Smith, G.D.: Towards a program logic for JavaScript. In: POPL, pp. 31\u201344. ACM (2012)","key":"6_CR13","DOI":"10.1145\/2103621.2103663"},{"doi-asserted-by":"crossref","unstructured":"Hackett, B., Guo, S.Y.: Fast and precise hybrid type inference for JavaScript. In: PLDI. ACM (2012)","key":"6_CR14","DOI":"10.1145\/2254064.2254094"},{"unstructured":"Muchnick, S.S.: Advanced Compiler Design and Implementation. Morgan Kaufmann (1997)","key":"6_CR15"},{"doi-asserted-by":"crossref","unstructured":"Patterson, J.R.C.: Accurate static branch prediction by value range propagation. In: PLDI, pp. 67\u201378. ACM (1995)","key":"6_CR16","DOI":"10.1145\/223428.207117"},{"unstructured":"Shankland, S.: How JavaScript became a browser-war battleground (2009), \nhttp:\/\/www2.galcit.caltech.edu\/~jeshep\/GraphicsBib\/NatBib\/node3.html\n (accessed in April 30, 2012)","key":"6_CR17"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-642-19861-8_2","volume-title":"Compiler Construction","author":"R. Sol","year":"2011","unstructured":"Sol, R., Guillon, C., Pereira, F.M.Q., Bigonha, M.A.S.: Dynamic Elimination of Overflow Tests in a Trace Compiler. In: Knoop, J. (ed.) CC 2011. LNCS, vol.\u00a06601, pp. 2\u201321. Springer, Heidelberg (2011)"},{"doi-asserted-by":"crossref","unstructured":"Wegman, M.N., Zadeck, F.K.: Constant propagation with conditional branches. TOPLAS 13(2) (1991)","key":"6_CR19","DOI":"10.1145\/103135.103136"},{"doi-asserted-by":"crossref","unstructured":"Guo, S.Y., Palsberg, J.: The essence of compiling with traces. In: POPL, page to appear. ACM (2011)","key":"6_CR20","DOI":"10.1145\/1926385.1926450"},{"doi-asserted-by":"crossref","unstructured":"Zaleski, M.: YETI: A Gradually Extensible Trace Interpreter. PhD thesis, University of Toronto (2007)","key":"6_CR21","DOI":"10.1145\/1254810.1254823"},{"doi-asserted-by":"crossref","unstructured":"Zhou, H., Chen, W., Chow, F.C.: An SSA-based algorithm for optimal speculative code motion under an execution profile. In: PLDI, pp. 98\u2013108. ACM (2011)","key":"6_CR22","DOI":"10.1145\/1993316.1993510"}],"container-title":["Lecture Notes in Computer Science","Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33182-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,23]],"date-time":"2021-12-23T06:06:30Z","timestamp":1640239590000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-33182-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642331817","9783642331824"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33182-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}