167 search results - page 33 / 34 » Separation logic, abstraction and inheritance |
185
click to vote
POPL
2009
ACM
15 years 11 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
118
Voted
AOSD
2003
ACM
15 years 4 months ago
2003
ACM
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...
83
Voted
SIGIR
1998
ACM
15 years 3 months ago
1998
ACM
Abstract We present a fast compression and decompression scheme for natural language texts that allows e cient and exible string matching by searching the compressed text directly....
DAGSTUHL
2001
15 years 9 days ago
2001
Software visualization has been almost exclusively tackled from the visual point of view; this means visualization occurs exclusively through the visual channel. This approach has ...
119
click to vote
BTW
2007
Springer
15 years 5 months ago
2007
Springer
Abstract: We propose a new system that is able to handle the entire Personal Dataspace of a user. A Personal Dataspace includes all data pertaining to a user on all his disks and o...