79 search results - page 1 / 16 » Verifying Reference Counting Implementations |
TACAS
2009
Springer
13 years 11 months ago
2009
Springer
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
OOPSLA
2001
Springer
13 years 9 months ago
2001
Springer
Reference counting is not naturally suitable for running on multiprocessors. The update of pointers and reference counts requires atomic and synchronized operations. We present a ...
CADE
2007
Springer
14 years 4 months ago
2007
Springer
PLILP
1994
Springer
13 years 8 months ago
1994
Springer
We present a strategy to derive an efficient reference count garbage collector for any applicative program by only modifying it on the source code level. The key to the approach is...
CCS
2008
ACM
13 years 6 months ago
2008
ACM
We describe reference implementations for selected configurations of the user authentication protocol defined by the Information Card