M.J.: Modular reasoning for deterministic parallelism (0)

by M Dodds, S Jagannathan, Parkinson
Venue:In: Proceedings of POPL (2011