11182 search results - page 98 / 2237 » Shape Analysis of Sets |
103
Voted
IWVF
2001
Springer
15 years 8 months ago
2001
Springer
91
Voted
MICCAI
2001
Springer
15 years 8 months ago
2001
Springer
226
click to vote
POPL
1999
ACM
15 years 8 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...
116
Voted
ICCV
1998
IEEE
15 years 8 months ago
1998
IEEE
POPL
1996
ACM
15 years 8 months ago
1996
ACM
