CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (2002)  (Make Corrections)  (18 citations) George C. Necula, Scott McPeak, S. P. Rahul, Westley WeimerComputational Complexity   Home/Search   Context   Related Links:   DBLP

View or download: berkeley.edu/~weimer/pape...NMRWCil.ps Cached:  PS.gz  PS  PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.   PS.gz  PS  PDF   Image  Update  Help From:  berkeley.edu/~weimer/ (more) (Enter author homepages)

Rate this article: (best)   Comment on this article

@inproceedings{ necula02cil,
    author = "George C. Necula and Scott McPeak and Shree Prakash Rahul and Westley Weimer",
    title = "{CIL}: Intermediate Language and Tools for Analysis and Transformation of C Programs",
    booktitle = "Computational Complexity",
    pages = "213-228",
    year = "2002",
    url = "citeseer.ist.psu.edu/necula02cil.html" }