4722 search results - page 106 / 945 » Representation-independent program analysis |
HOTOS
2007
IEEE
14 years 1 months ago
2007
IEEE
It is time for us to focus on sound analyses for our critical systems software--that is, we must focus on analyses that ensure the absence of defects of particular known types, ra...
CGO
2004
IEEE
14 years 26 days ago
2004
IEEE
GECCO
2006
Springer
14 years 23 days ago
2006
Springer
APAQS
2001
IEEE
14 years 23 days ago
2001
IEEE
APSEC
2001
IEEE
14 years 23 days ago
2001
IEEE
