Sciweavers

3901 search results - page 24 / 781
» software 2008
Sort
View
62
Voted
SCAM
2008
IEEE
15 years 6 months ago
The Semantics of Abstract Program Slicing
Damiano Zanardini
60
Voted
SCAM
2008
IEEE
15 years 6 months ago
Evaluating Key Statements Analysis
Paul Anderson
83
Voted
SEFM
2008
IEEE
15 years 6 months ago
Widening Operators for Abstract Interpretation
Agostino Cortesi