CIL: Intermediate language and tools for C program analysis and transformation (2002)

by Necula McPeak, Rahul, Weimer
Venue:In Compiler Construction