共 50 条
[41]
Age-oriented concurrent garbage collection
[J].
COMPILER CONSTRUCTION, PROCEEDINGS,
2005, 3443
:121-136
[43]
GC2:: a generational conservative garbage collector for the ATERM library
[J].
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING,
2004, 59 (1-2)
:5-34
[44]
Refinement for Structured Concurrent Programs
[J].
COMPUTER AIDED VERIFICATION (CAV 2020), PT I,
2020, 12224
:275-298
[45]
Restructuring a Concurrent Refinement Algebra
[J].
RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, RAMICS 2024,
2024, 14787
:135-155
[46]
Improved Adaptive Generational Garbage Collection Algorithm for Java']Java Card
[J].
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON LOGISTICS, ENGINEERING, MANAGEMENT AND COMPUTER SCIENCE,
2014, 101
:699-702