garbage collection | STAIR: Software Technology and Artificial Intelligence Research Laboratory

tag: garbage collection

2017.10.19
Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models

memory consistency models, model checking, program verification, garbage collection