A CIL Tutorial - Department of Computer Science - ETH Zürich
A CIL Tutorial - Department of Computer Science - ETH Zürich
A CIL Tutorial - Department of Computer Science - ETH Zürich
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
References<br />
[1] Zachary Anderson, David Gay, Rob Ennals, and Eric Brewer. Sharc: checking data sharing<br />
strategies for multithreaded c. In Proceedings <strong>of</strong> the 2008 ACM SIGPLAN conference on Programming<br />
language design and implementation, PLDI '08, pages 149158, New York, NY, USA,<br />
2008. ACM.<br />
80