We introduce RATA, a static analysis based on abstract interpretation for the rapid inference of atomic types in JavaScript programs. RATA enables aggressive type specialization optimizations in dynamic languages. RATA is a combination of an interval analysis (to determine the range of variables), a kind analysis (to determine if a variable may assume fractional values, or NaN), and a variation analysis (to relate the values of variables). The combination of those three analyses allows our compiler to specialize Float64 variables (the only numerical type in JavaScript) to Int32 variables, providing large performance improvements (up to 7.7×) in some of our benchmarks. © 2010 Springer-Verlag.
CITATION STYLE
Logozzo, F., & Venter, H. (2010). RATA: Rapid atomic type analysis by abstract interpretation - Application to JavaScript optimization. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6011 LNCS, pp. 66–83). https://doi.org/10.1007/978-3-642-11970-5_5
Mendeley helps you to discover research relevant for your work.