Cyclone: A safe dialect of C (2002)

by T Jim, J G Morrisett, D Grossman, M W Hicks, J Cheney, Y Wang
Venue:In ATEC ’02: Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference