196 search results - page 1 / 40 » Widening Operators for Abstract Interpretation |
SEFM
2008
IEEE
13 years 11 months ago
2008
IEEE
CL
2011
Springer
12 years 11 months ago
2011
Springer
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...
VMCAI
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. The finite powerset construction upgrades an abstract domain by allowing for the representation of finite disjunctions of its elements. In this paper we define three g...
SCP
1998
13 years 4 months ago
1998
Interpretation Using Typed Decision Graphs Laurent Mauborgne LIENS, ´Ecole Normale Sup´erieure, 45 rue d’Ulm, 75230 Paris cedex 05, France Abstract. This article presents a way...