Francesco Logozzo and Herman Venter
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).
In Proceedings of the International Conference on Compiler Construction
Publisher Springer Verlag
All copyrights reserved by Springer 2007.