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).
|Published in||Proceedings of the International Conference on Compiler Construction|
All copyrights reserved by Springer 2007.