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 Compiler Construction, 11th International Conference, CC