{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:25:45Z","timestamp":1725902745198},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319600734"},{"type":"electronic","value":"9783319600741"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-60074-1_10","type":"book-chapter","created":{"date-parts":[[2017,6,28]],"date-time":"2017-06-28T09:37:38Z","timestamp":1498642658000},"page":"223-234","source":"Crossref","is-referenced-by-count":0,"title":["STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation"],"prefix":"10.1007","author":[{"given":"Maarten","family":"Vandercammen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Quentin","family":"Sti\u00e9venart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"De Meuter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Coen","family":"De Roover","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,29]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Bolz, C.F., Cuni, A., Fijalkowski, M., Rigo, A.: Tracing the meta-level: Pypy\u2019s tracing JIT compiler. In: Proceedings of the 4th ICOOOLPS Workshop (2009)","DOI":"10.1145\/1565824.1565827"},{"key":"10_CR2","unstructured":"Chang, M., Bebenita, M., Yermolovich, A., Gal, A., Franz, M.: Efficient just-in-time execution of dynamically typed languages via code specialization using precise runtime type inference. Technical report ICS-TR-07-10, University of Irvine, Department of Computer Science (2007)"},{"key":"10_CR3","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: Proceedings of the 2009 ACM SIGPLAN\/SIGOPS International VEE Conference (2009)","DOI":"10.1145\/1508293.1508304"},{"key":"10_CR4","unstructured":"Corporation, N.: Constant folding. \nhttp:\/\/www.compileroptimizations.com\/category\/constant_folding.htm\n\n. Accessed 24 May 2016"},{"key":"10_CR5","unstructured":"Felleisen, M., Friedman, D.P.: Control Operators, the SECD-machine, and the \n            $$\\lambda $$\n          -calculus. Indiana University, Computer Science Department (1986)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Felleisen, M., Friedman, D.P.: A calculus for assignments in higher-order languages. In: Proceedings of the 14th ACM SIGACT-SIGPLAN POPL Symposium (1987)","DOI":"10.1145\/41625.41654"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Gal, A., Eich, B., Shaver, M., Anderson, D., Mandelin, D., Haghighat, M.R., Kaplan, B., Hoare, G., Zbarsky, B., Orendorff, J., Ruderman, J., Smith, E.W., Reitmaier, R., Bebenita, M., Chang, M., Franz, M.: Trace-based just-in-time type specialization for dynamic languages. In: Proceedings of the 30th ACM SIGPLAN PLDI Conference (2009)","DOI":"10.1145\/1542476.1542528"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Gal, A., Probst, C.W., Franz, M.: Hotpathvm: an effective JIT compiler for resource-constrained devices. In: Proceedings of the 2nd International VEE Conference (2006)","DOI":"10.1145\/1134760.1134780"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Marr, S., Ducasse, S.: Tracing vs. partial evaluation: comparing meta-compilation approaches for self-optimizing interpreters. In: Proceedings of the 2015 ACM International OOPSLA Conference (2015)","DOI":"10.1145\/2814270.2814275"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Sti\u00e9venart, Q., Nicolay, J., De Meuter, W., De Roover, C.: Building a modular static analysis framework in scala (tool paper). In: Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala, SCALA 2016, NY, USA, pp. 105\u2013109 (2016). \nhttp:\/\/doi.acm.org\/10.1145\/2998392.3001579","DOI":"10.1145\/2998392.3001579"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Vandercammen, M., De Roover, C.: Improving trace-based JIT optimisation using whole-program information. In: Proceedings of the 8th International Workshop on Virtual Machines and Intermediate Languages, VMIL 2016, NY, USA, pp. 16\u201323 (2016). \nhttp:\/\/doi.acm.org\/10.1145\/2998415.2998418","DOI":"10.1145\/2998415.2998418"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Vandercammen, M., Nicolay, J., Marr, S., De Koster, J., D\u2019Hondt, T., De Roover, C.: A formal foundation for trace-based JIT compilers. In: Proceedings of the 13th WODA (2015)","DOI":"10.1145\/2823363.2823369"}],"container-title":["Lecture Notes in Computer Science","Grand Timely Topics in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-60074-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,28]],"date-time":"2017-06-28T09:44:07Z","timestamp":1498643047000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-60074-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319600734","9783319600741"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-60074-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}