共 50 条
- [23] Garbage Collections Delays on Java']Java GUIs [J]. 2018 ELEVENTH INTERNATIONAL CONFERENCE ON MOBILE COMPUTING AND UBIQUITOUS NETWORK (ICMU 2018), 2018,
- [24] A simple distributed garbage collector for distributed real-time Java [J]. The Journal of Supercomputing, 2014, 70 : 1588 - 1616
- [25] Design and analysis of a hard real-time garbage collector for a Java']Java chip multi-processor [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2013, 25 (16): : 2269 - 2289
- [26] ALGORITHMS FOR ON-THE-FLY GARBAGE COLLECTION [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1984, 6 (03): : 333 - 344
- [27] A Verified Generational Garbage Collector for CakeML [J]. INTERACTIVE THEOREM PROVING (ITP 2017), 2017, 10499 : 444 - 461
- [28] A novel design of a generational garbage collector [J]. ISCON 2002: IEEE STUDENTS CONFERENCE ON EMERGING TECHNOLOGIES, PROCEEDINGS, 2002, : 85 - 88
- [29] A Verified Generational Garbage Collector for CakeML [J]. Journal of Automated Reasoning, 2019, 63 : 463 - 488
- [30] A Verified Generational Garbage Collector for CakeML [J]. JOURNAL OF AUTOMATED REASONING, 2019, 63 (02) : 463 - 488