共 50 条
- [21] A Verified Generational Garbage Collector for CakeML Journal of Automated Reasoning, 2019, 63 : 463 - 488
- [23] Development of Autonomous Garbage Collector Robot PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON MICROELECTRONICS, COMPUTING AND COMMUNICATION SYSTEMS, MCCS 2018, 2019, 556 : 567 - 576
- [27] Using Multiple Servers in Concurrent Garbage Collector JOURNAL OF OBJECT TECHNOLOGY, 2008, 7 (04): : 139 - 158
- [29] Verifying a Copying Garbage Collector in GP 2 SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS, 2018, 11176 : 479 - 494
- [30] Replicating real-time garbage collector CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2011, 23 (14): : 1646 - 1664