113
Voted
POPL
2010
ACM
16 years 5 days ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...