Assertional reasoning about data races in relaxed memory models

doi:10.1145/1345206.1345249

Assertional reasoning about data races in relaxed memory models

Full Text:

PDF

Buy this Article

Authors:	Beverly A. Sanders	University of Florida, Gainesville, FL, USA
	KyungHee Kim	University of Florida, Gainesville, FL, USA

Published in:

	· Proceeding
	PPoPP '08 Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming
	ACM New York, NY, USA ©2008 table of contents ISBN: 978-1-59593-795-7 doi>10.1145/1345206.1345249

	2008 Article Poster
Bibliometrics
· Downloads (6 Weeks): 2 · Downloads (12 Months): 17 · Citation Count: 0

Tools and Resources

Buy this Article
Request Permissions
TOC Service:
- Email
- RSS
Save to Binder
Export Formats:
- BibTeX
- EndNote
- ACM Ref
Upcoming Conference:
- PPoPP '12

Tags: assertions data race languages memory model parallel programming sequential consistency software/program verification theory verification

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2012 ACM, Inc.
Terms of Usage Privacy Policy Code of Ethics Contact Us

Useful downloads:

Adobe Acrobat

QuickTime

Windows Media Player

Real Player