14 search results - page 1 / 3 » Widening and narrowing operators for abstract interpretation |
135
Voted
CL
2011
Springer
14 years 4 months ago
2011
Springer
PLILP
1992
Springer
15 years 1 months ago
1992
Springer
SEFM
2008
IEEE
15 years 4 months ago
2008
IEEE
CC
2004
Springer
15 years 1 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
14 years 7 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...