The space cost of lazy reference counting

2004 ◽  
Vol 39 (1) ◽  
pp. 210-219 ◽  
Author(s):  
Hans-J. Boehm
Keyword(s):  
Space Cost ◽  
Reference Counting

Top Level Space Cost Methodology (TLSCM)

1997 ◽  
Author(s):  
Truett L. Scarborough
Keyword(s):  
Space Cost

scholarly journals Do you have space for dessert? a verified space cost semantics for CakeML programs

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

scholarly journals Dusty caches for reference counting garbage collection

2006 ◽  
Vol 34 (1) ◽  
pp. 3-10 ◽  
Author(s):  
Scott Friedman ◽  
Praveen Krishnamurthy ◽  
Roger Chamberlain ◽  
Ron K. Cytron ◽  
Jason E. Fritts
Keyword(s):  
Garbage Collection ◽  
Reference Counting

Reference Counting

1999 ◽  
pp. 175-178
Author(s):  
Michael Hyman ◽  
Phani Vaddadi
Keyword(s):  
Reference Counting
Sign in / Sign up

Export Citation Format

Share Document