{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:11:57Z","timestamp":1725549117768},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642119699"},{"type":"electronic","value":"9783642119705"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11970-5_5","type":"book-chapter","created":{"date-parts":[[2010,3,7]],"date-time":"2010-03-07T19:23:33Z","timestamp":1267989813000},"page":"66-83","source":"Crossref","is-referenced-by-count":32,"title":["RATA: Rapid Atomic Type Analysis by Abstract Interpretation \u2013 Application to JavaScript Optimization"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Logozzo","sequence":"first","affiliation":[]},{"given":"Herman","family":"Venter","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"OOPSLA 1995","author":"O. Agesen","year":"1995","unstructured":"Agesen, O., H\u00f6lzle, U.: Type feedback vs. concrete type inference: A comparison of optimization techniques for object-oriented languages. In: OOPSLA 1995. ACM Press, New York (1995)"},{"key":"5_CR2","volume-title":"Compilers: Principles, Techniques, and Tools","author":"A.V. Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading (1986)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1007\/11531142_19","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"C. Anderson","year":"2005","unstructured":"Anderson, C., Giannini, P., Drossopoulou, S.: Towards type inference for javascript. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 428\u2013452. Springer, Heidelberg (2005)"},{"key":"5_CR4","unstructured":"Barnett, M., F\u00e4hndrich, M., Garbervetsky, D., Logozzo, F.: Annotations for (more) precise points-to analysis. In: IWACO 2007 (2007)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Blanchet, B.: Escape Analysis: Correctness proof, implementation and experimental results. In: POPL 1998 (1998)","DOI":"10.1145\/268946.268949"},{"key":"5_CR6","volume-title":"PLDI 2003","author":"B. Blanchet","year":"2003","unstructured":"Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: A static analyzer for large safety-critical software. In: PLDI 2003. ACM Press, New York (2003)"},{"key":"5_CR7","unstructured":"Cannon, B.: Localized type inference of atomic types in Python. Master\u2019s thesis, California Polytechnic State University (2005)"},{"key":"5_CR8","volume-title":"PLDI 1989","author":"C. Chambers","year":"1989","unstructured":"Chambers, C., Ungar, D.: Customization: Optimizing compiler technology for self, a dynamically-typed object-oriented programming language. In: PLDI 1989. ACM Press, New York (1989)"},{"key":"5_CR9","series-title":"NATO ASI Series F","volume-title":"Calculational System Design","author":"P. Cousot","year":"1999","unstructured":"Cousot, P.: The calculational design of a generic abstract interpreter. In: Calculational System Design. NATO ASI Series F. IOS Press, Amsterdam (1999)"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL 1977 (1977)","DOI":"10.1145\/512950.512973"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: POPL 1979 (1979)","DOI":"10.1145\/567752.567778"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: POPL 1978 (1978)","DOI":"10.1145\/512760.512770"},{"key":"5_CR13","volume-title":"ICOOOLPS 2009","author":"A. Cuni","year":"2009","unstructured":"Cuni, A., Ancona, D., Rigo, A.: Faster than C#: Efficient implementation of dynamic languages on.NET. In: ICOOOLPS 2009. ACM Press, New York (2009)"},{"key":"5_CR14","volume-title":"POPL1980","author":"L.P. Deutsch","year":"1980","unstructured":"Deutsch, L.P., Schiffman, A.M.: Efficient implementation of the smalltalk-80 system. In: POPL1980. ACM Press, New York (1980)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Ferrara, P., Logozzo, F., F\u00e4hndrich, M.A.: Safer unsafe code in.Net. In: OOPSLA 2008 (2008)","DOI":"10.1145\/1449764.1449791"},{"key":"5_CR16","volume-title":"JavaScript, the definitive guide","author":"D. Flanagan","year":"2009","unstructured":"Flanagan, D.: JavaScript, the definitive guide. O\u2019Reilly, Sebastopol (2009)"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Gal, A., Eich, B., Shaver, M., Anderson, D., Mandelin, D., Haghighat, M., Kaplan, B., Hoare, G., Zbarsky, B., Orendorff, J., Ruderman, J., Smith, E., Reitmaier, R., Bebenita, M., Chang, M., Franz, M.: Trace-based just-in-time type specialization for dynamic languages. In: PLDI 2009 (2009)","DOI":"10.1145\/1542476.1542528"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Georges, A., Eeckhout, L., Buytaert, D.: Java performance evaluation through rigorous replay compilation. In: OOPSLA 2008 (2008)","DOI":"10.1145\/1449764.1449794"},{"key":"5_CR19","unstructured":"IEEE. IEEE standard for floating-point arithmetic. Technical report, IEEE (2008)"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/978-3-642-03237-0_17","volume-title":"Static Analysis","author":"S.H. Jensen","year":"2009","unstructured":"Jensen, S.H., M\u00f8ller, A., Thiemann, P.: Type analysis for javascript. In: Palsberg, J., Su, Z. (eds.) SAS 2009. LNCS, vol.\u00a05673, pp. 238\u2013255. Springer, Heidelberg (2009)"},{"key":"5_CR21","volume-title":"Partial evaluation and automatic program generation","author":"N.D. Jones","year":"1993","unstructured":"Jones, N.D., Gomard, C.K., Sestoft, P.: Partial evaluation and automatic program generation. Prentice-Hall, Englewood Cliffs (1993)"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/978-3-642-10672-9_24","volume-title":"APLAS 2009","author":"V. Laviron","year":"2009","unstructured":"Laviron, V., Logozzo, F.: Refining abstract interpretation-based static analyses with hints. In: Hu, Z. (ed.) APLAS 2009. LNCS, vol.\u00a05904, pp. 343\u2013358. Springer, Heidelberg (2009)"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-540-93900-9_20","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"V. Laviron","year":"2009","unstructured":"Laviron, V., Logozzo, F.: Subpolyhedra: a (more) scalable approach to infer linear inequalities. In: Jones, N.D., M\u00fcller-Olm, M. (eds.) VMCAI 2009. LNCS, vol.\u00a05403, pp. 229\u2013244. Springer, Heidelberg (2009)"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Logozzo, F., F\u00e4hndrich, M.A.: Pentagons: A weakly relational abstract domain for the efficient validation of array accesses. In: SAC 2008 (2008)","DOI":"10.1145\/1363686.1363736"},{"issue":"4","key":"5_CR25","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1145\/367177.367199","volume":"3","author":"J. McCarthy","year":"1960","unstructured":"McCarthy, J.: Recursive functions of symbolic expressions and their computation by machine, part i. Commun. ACM\u00a03(4), 184\u2013195 (1960)","journal-title":"Commun. ACM"},{"key":"5_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/3-540-44978-7_10","volume-title":"Programs as Data Objects","author":"A. Min\u00e9","year":"2001","unstructured":"Min\u00e9, A.: A new numerical abstract domain based on difference-bound matrices. In: Danvy, O., Filinski, A. (eds.) PADO 2001. LNCS, vol.\u00a02053, p. 155. Springer, Heidelberg (2001)"},{"key":"5_CR27","volume-title":"PEPM 2004","author":"A. Rigo","year":"2004","unstructured":"Rigo, A.: Representation-based just-in-time specialization and the psyco prototype for Python. In: PEPM 2004. ACM Press, New York (2004)"},{"key":"5_CR28","volume-title":"OOPSLA Companion 2006","author":"A. Rigo","year":"2006","unstructured":"Rigo, A., Pedroni, S.: PyPy\u2019s approach to virtual machine construction. In: OOPSLA Companion 2006. ACM Press, New York (2006)"},{"key":"5_CR29","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics\u00a05, 285\u2013309 (1955)","journal-title":"Pacific Journal of Mathematics"},{"issue":"10","key":"5_CR30","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1109\/2.161280","volume":"25","author":"D. Ungar","year":"1992","unstructured":"Ungar, D., Smith, R.B., Chambers, C., H\u00f6lzle, U.: Object, message, and performance: How they coexist in self. IEEE Computer\u00a025(10), 53\u201364 (1992)","journal-title":"IEEE Computer"},{"key":"5_CR31","unstructured":"WebKit. SunSpider JavaScript benchmarks, http:\/\/www2.webkit.org\/perf\/sunspider-0.9\/sunspider.html"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11970-5_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:46:00Z","timestamp":1606167960000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11970-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642119699","9783642119705"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11970-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}