IPL
2010
13 years 8 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...
ENTCS
2008
13 years 11 months ago
2008
and Abstract Interpretation for C/C++ Programs Helge L
EMSOFT
2004
Springer
14 years 5 months ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...