14 search results - page 1 / 3 » Widening and narrowing operators for abstract interpretation |
CL
2011
Springer
12 years 11 months ago
2011
Springer
PLILP
1992
Springer
13 years 9 months ago
1992
Springer
SEFM
2008
IEEE
13 years 11 months ago
2008
IEEE
CC
2004
Springer
13 years 8 months ago
2004
Springer
Abstract. Some codes require computations to use fewer bits of precision than are normal for the target machine. For example, Java requires 32-bit arithmetic even on a 64-bit targe...
IPL
2010
13 years 2 months ago
2010
cally Refining Abstract Interpretations Bhargav S. Gulavani1 , Supratik Chakraborty1 , Aditya V. Nori2 , and Sriram K. Rajamani2 1 IIT Bombay 2 Microsoft Research India Abstract. A...