Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO.

Peter Gammie Tony Hosking Kai Engelhardt

Published in: Arch. Formal Proofs (2015)

Keyphrases

garbage collection
flash memory
space efficient
memory management
object oriented databases
java virtual machine
pattern recognition
file system
random access
storage systems