Sciweavers

3901 search results - page 24 / 781
» software 2008
Sort
View
88
Voted
SCAM
2008
IEEE
15 years 10 months ago
The Semantics of Abstract Program Slicing
Damiano Zanardini
111
Voted
SEFM
2008
IEEE
15 years 10 months ago
Widening Operators for Abstract Interpretation
Agostino Cortesi
98
Voted
AMAST
2008
Springer
15 years 5 months ago
Liberate Computer User from Programming
Teodor Rus