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, and Mayur Naik. Lightweight annotations for controlling sharing<br />
in concurrent data structures. In Proceedings <strong>of</strong> the 2009 ACM SIGPLAN conference on Programming<br />
language design and implementation, PLDI '09, pages 98109, New York, NY, USA,<br />
2009. ACM.<br />
[2] Jeremy Condit, Matthew Harren, Zachary Anderson, David Gay, and George Necula. Dependent<br />
types for low-level programming. In ESOP'07.<br />
70