Scalable and precise range analysis on the interval lattice
=== A Range Analysis (RA) is an algorithm that estimates the lowest and highest values that each variable in a computer program may assume during an execution of the program. This kind of analysis provides information that helps the compiler to better understand and optimize programs. However, prev...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | English |
| Published: |
Universidade Federal de Minas Gerais
2014
|
| Online Access: | http://hdl.handle.net/1843/ESBF-9JTHXV |