Sciweavers

2478 search results - page 10 / 496
» Quadtrees as an Abstract Domain
Sort
View
CORR
2007
Springer
100views Education» more  CORR 2007»
14 years 11 months ago
The Octagon Abstract Domain
Antoine Miné
AI
2005
Springer
14 years 11 months ago
Task-dependent qualitative domain abstraction
ion M. Sachenbacher a,, P. Struss b aMIT CSAIL, 200 Technology Square, Cambridge, MA 02139, USA bTechnische Universit
Martin Sachenbacher, Peter Struss