Cyclone: A safe dialect of C (0)

by T Jim, G Morrisett, D Grossman, M Hicks, J Cheney, Y Wang
Venue:In Proc. of the USENIX Annual Technical Conf