Trevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang. Cyclone: A Safe Dialect of C. In Carla Schlatter Ellis, editor, Proceedings of the General Track: 2002 USENIX Annual Technical Conference, June 10-15, 2002, Monterey, California, USA. pages 275-288, USENIX, 2002. [doi]
Abstract is missing.