Cyclone: A safe dialect of C (2002)

by T Jim, J G Morrisett, D Grossman, M W Hicks, J Cheney, Y Wang
Venue:In Proceedings of the General Track: 2002 USENIX Annual Technical Conference