79 search results - page 1 / 16 » Verifying Reference Counting Implementations |
TACAS
2009
Springer
15 years 4 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
15 years 1 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 ...
74
Voted
CADE
2007
Springer
15 years 9 months ago
2007
Springer
83
Voted
PLILP
1994
Springer
15 years 29 days 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
14 years 11 months ago
2008
ACM
We describe reference implementations for selected configurations of the user authentication protocol defined by the Information Card