NeculaMRW02'

BibTeX

@inproceedings{DBLP:conf/cc/NeculaMRW02,
  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 = {CC},
  year      = {2002},
  pages     = {213-228},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2304/23040213.htm},
  crossref  = {DBLP:conf/cc/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/cc/2002,
  editor    = {R. Nigel Horspool},
  title     = {Compiler Construction, 11th International Conference, CC
               2002, Held as Part of the Joint European Conferences on
               Theory and Practice of Software, ETAPS 2002, Grenoble, France,
               April 8-12, 2002, Proceedings},
  booktitle = {CC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2304},
  year      = {2002},
  isbn      = {3-540-43369-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}