Microsoft Research
Microsoft Translator |
Automatic safety proofs for asynchronous memory operations

Matko Botincan, Mike Dodds, Alastair F. Donaldson, and Matthew J. Parkinson
2011

In  PPOPP

Details

TypeInproceedings
Pages313-314
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Automatic safety proofs for asynchronous memory operations