Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO
by Peter Gammie, Tony Hosking and Kai Engelhardt
by Peter Gammie, Tony Hosking and Kai Engelhardt
Computer science/Algorithms/Concurrent
Subject Classification
ACM: Theory of computation~Concurrent algorithms
AMS: Computer science / Algorithms in computer science / Parallel algorithms in computer science
2015
by Peter Gammie, Tony Hosking and Kai Engelhardt