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

by George Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer
Venue:In International Conference on Compiler Construction (CC