What Is a Garbage Collector? An Exercise in Compositional Refinement
Book chapter in Lecture Notes in Computer Science (September 2024)
The most recent citing publications are shown below. View all 25 publications that cite this research output on Dimensions.
Book chapter in Lecture Notes in Computer Science (September 2024)
Conference proceeding (November 2016)
Article in Theoretical Computer Science (April 2012)