Atomicity Refinement for Verified Compilation
Suresh Jagannathan, Vincent Laporte, Gustavo Petri, David Pichardie, Jan Vitek
Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory
© 2001-2024 Fundación Dialnet · Todos los derechos reservados