et al. Cyclone: a safe dialect of C (2002)

by T Jim
Venue:In USENIX Annual Technical Conference