Cyclone: A safe dialect of C,” (2002)

by T Jim, J G Morrisett, D Grossman, M W Hicks, J Cheney, Y Wang
Venue:in Proc. of the General Track of the Annual Conference on USENIX Annual Technical Conference (ATEC),