VHS Campos, RE Rodrigues, IR de Assis Costa… - … Symposium, SBLP 2012 …, 2012 - Springer
Range analysis is a compiler technique that determines statically the lower and upper
values that each integer variable from a target program may assume during this program's …