1535 search results - page 51 / 307 » Lazy Shape Analysis |
182
click to vote
POPL
1999
ACM
15 years 4 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 ¡...
ICCV
1998
IEEE
15 years 4 months ago
1998
IEEE
POPL
1996
ACM
15 years 4 months ago
1996
ACM
TLCA
1997
Springer
15 years 4 months ago
1997
Springer
ICIAP
2007
ACM
15 years 3 months ago
2007
ACM
We are working in collaboration with geographers to study a set of pebbles digital images. Among the features geographers want to get automatically, pebble sides number is intuiti...