Cyclone: A safe dialect of C (2002)

by T Jim, G Morrisett, D Grossman, M Hicks, J Cheney, Y Wang
Venue:In USENIX Annual Technical Conference