ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
The space cost of lazy reference counting
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '04
◽
10.1145/964001.964019
◽
2004
◽
Cited By ~ 8
Author(s):
Hans-J. Boehm
Keyword(s):
Space Cost
◽
Reference Counting
Download Full-text
Related Documents
Cited By
References
The space cost of lazy reference counting
ACM SIGPLAN Notices
◽
10.1145/982962.964019
◽
2004
◽
Vol 39
(1)
◽
pp. 210-219
◽
Cited By ~ 2
Author(s):
Hans-J. Boehm
Keyword(s):
Space Cost
◽
Reference Counting
Download Full-text
Top Level Space Cost Methodology (TLSCM)
10.21236/ada336360
◽
1997
◽
Author(s):
Truett L. Scarborough
Keyword(s):
Space Cost
Download Full-text
Do you have space for dessert? a verified space cost semantics for CakeML programs
Proceedings of the ACM on Programming Languages
◽
10.1145/3428272
◽
2020
◽
Vol 4
(OOPSLA)
◽
pp. 1-29
Author(s):
Alejandro Gómez-Londoño
◽
Johannes Åman Pohjola
◽
Hira Taqdees Syeda
◽
Magnus O. Myreen
◽
Yong Kiam Tan
Keyword(s):
Space Cost
◽
Cost Semantics
Download Full-text
Dusty caches for reference counting garbage collection
ACM SIGARCH Computer Architecture News
◽
10.1145/1147349.1147353
◽
2006
◽
Vol 34
(1)
◽
pp. 3-10
◽
Cited By ~ 1
Author(s):
Scott Friedman
◽
Praveen Krishnamurthy
◽
Roger Chamberlain
◽
Ron K. Cytron
◽
Jason E. Fritts
Keyword(s):
Garbage Collection
◽
Reference Counting
Download Full-text
Resolving Location Conflict with Standardized Space-Cost Curves
The Professional Geographer
◽
10.1111/0033-0124.00204
◽
2000
◽
Vol 52
(1)
◽
pp. 50-60
◽
Cited By ~ 3
Author(s):
Gordon F. Mulligan
Keyword(s):
Cost Curves
◽
Space Cost
Download Full-text
Wait-Free Reference Counting and Memory Management
19th IEEE International Parallel and Distributed Processing Symposium
◽
10.1109/ipdps.2005.451
◽
2005
◽
Cited By ~ 19
Author(s):
H. Sundell
Keyword(s):
Memory Management
◽
Reference Counting
Download Full-text
A New Multi-Processor Architecture for Parallel Lazy Cyclic Reference Counting
17th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'05)
◽
10.1109/cahpc.2005.6
◽
2006
◽
Author(s):
R.D. Lins
Keyword(s):
Processor Architecture
◽
Reference Counting
Download Full-text
Reference Counting
Mike and Phani’s Essential C++ Techniques
◽
10.1007/978-1-4302-1127-3_19
◽
1999
◽
pp. 175-178
Author(s):
Michael Hyman
◽
Phani Vaddadi
Keyword(s):
Reference Counting
Download Full-text
Verifying Reference Counting Implementations
Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
◽
10.1007/978-3-642-00768-2_30
◽
2009
◽
pp. 352-367
◽
Cited By ~ 12
Author(s):
Michael Emmi
◽
Ranjit Jhala
◽
Eddie Kohler
◽
Rupak Majumdar
Keyword(s):
Reference Counting
Download Full-text
CRCount: Pointer Invalidation with Reference Counting to Mitigate Use-after-free in Legacy C/C++
Proceedings 2019 Network and Distributed System Security Symposium
◽
10.14722/ndss.2019.23541
◽
2019
◽
Cited By ~ 2
Author(s):
Jangseop Shin
◽
Donghyun Kwon
◽
Jiwon Seo
◽
Yeongpil Cho
◽
Yunheung Paek
Keyword(s):
Reference Counting
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close