3260 search results - page 56 / 652 » Lightweight linked data |
WEBDB
2005
Springer
15 years 7 months ago
2005
Springer
105
Voted
DILS
2009
Springer
15 years 7 months ago
2009
Springer
ICC
2000
IEEE
15 years 6 months ago
2000
IEEE
123
click to vote
FOSSACS
2006
Springer
15 years 6 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
VISUALIZATION
1991
IEEE
15 years 5 months ago
1991
IEEE