Treffer: CheckFence : checking consistency of concurrent data types on relaxed memory models
Title:
CheckFence : checking consistency of concurrent data types on relaxed memory models
Authors:
Source:
Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation. :12-21
Availability:
Database:
ACM Full-Text Collection