CIL: Intermediate Language and Tools for Analysis and transformation of C Programs (2002)

by G C Necula, S McPeak, S P Rahul, W Weimer
Venue:In Proceedings of Conference on compiler Construction