4719 search results - page 105 / 944 » Newtonian program analysis |
LPAR
1993
Springer
14 years 2 months ago
1993
Springer
HOTOS
2007
IEEE
14 years 2 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 1 months ago
2004
IEEE
GECCO
2006
Springer
14 years 1 months ago
2006
Springer
APAQS
2001
IEEE
14 years 1 months ago
2001
IEEE
