Algorithms for on-the-fly garbage collection

DOI10.1145/579.587zbMath0536.68030OpenAlexW2112630372MaRDI QIDQ3321450

Mordechai Ben-Ari

Publication date: 1984

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/579.587

zbMATH Keywords

verificationcorrectness proofs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items

A mechanically verified incremental garbage collector, Concurrent garbage collection for concurrent rewriting, An incremental garbage collection algorithm for multi-mutator systems, Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example, On-the-fly garbage collection for several mutators, Simple concurrent garbage collection almost without synchronization, Fine-grained concurrency with separation logic