Tag: garbage collection
Showing 1 posts
-
Publications 2017.10.19
Publications 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
Tomoharu Ugawa, Tatsuya Abe, and Toshiyuki Maeda. Model checking copy phases of concurrent copying garbage col...memory consistency modelsmodel checkingprogram verificationgarbage collection