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
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
References<br />
[1] Jerey S. Foster, Manuel Fähndrich, and Alexander Aiken. A theory <strong>of</strong> type qualiers. In<br />
Proceedings <strong>of</strong> the ACM SIGPLAN 1999 conference on Programming language design and implementation,<br />
PLDI '99, pages 192203, New York, NY, USA, 1999. ACM.<br />
[2] Jerey S. Foster, Robert Johnson, John Kodumal, and Alex Aiken. Flow-insensitive type qualiers.<br />
ACM Trans. Program. Lang. Syst., 28(6):10351087, November 2006.<br />
[3] Jerey S. Foster, Tachio Terauchi, and Alex Aiken. Flow-sensitive type qualiers. In Proceedings<br />
<strong>of</strong> the ACM SIGPLAN 2002 Conference on Programming language design and implementation,<br />
PLDI '02, pages 112, New York, NY, USA, 2002. ACM.<br />
[4] David Greeneldboyce and Jerey S. Foster. Type qualier inference for java. In Proceedings<br />
<strong>of</strong> the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and<br />
applications, OOPSLA '07, pages 321336, New York, NY, USA, 2007. ACM.<br />
[5] George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, and Westley Weimer.<br />
Ccured: type-safe retrotting <strong>of</strong> legacy s<strong>of</strong>tware. ACM Trans. Program. Lang. Syst., 27(3):477<br />
526, May 2005.<br />
58