C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology.
Yannick Zakowski
David Cachera
Delphine Demange
Gustavo Petri
David Pichardie
Suresh Jagannathan
Jan Vitek
Published in:
ITP (2017)
Keyphrases
</>
artificial intelligence
databases
neural network
real world
digital libraries
evaluation methodology
garbage collection