Research
Events
Projects
Blog
Works
About Us
Language
English
日本語
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