Garbage Collection Interaction
Garbage Collection Interaction is a program execution coordination mechanism that governs the synchronization and resource management between just-in-time compilation and automatic memory reclamation processes to prevent interference and ensure type and memory safety.
3
Publications
110
Citations
8
Authors
3
Institutions
Publications per year
2017–2026
0
Parents
3
A general framework for certifying garbage collectors and their mutators
Andrew McCreight, Zhong Shao, Chunxiao Lin et al. · 2007 · 80 citations
A typed interface for garbage collection
Joseph C. Vanderwaart, Karl Crary · 2003 · 18 citations
Foundational Typed Assembly Language with Certified Garbage Collection
Chunxiao Lin, Andrew McCreight, Zhong Shao et al. · 2007 · 12 citations
1–3 of 3
8
2
h-index
2
h-index
2
h-index
1
h-index
1
h-index
1–5 of 8