DBLP Record 'conf/pldi/AikenFKT03'

BibTeX

@inproceedings{DBLP:conf/pldi/AikenFKT03,
  author    = {Alexander Aiken and
               Jeffrey S. Foster and
               John Kodumal and
               Tachio Terauchi},
  title     = {Checking and inferring local non-aliasing},
  booktitle = {PLDI},
  year      = {2003},
  pages     = {129-140},
  ee        = {http://doi.acm.org/10.1145/781131.781146},
  crossref  = {DBLP:conf/pldi/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/pldi/2003,
  title     = {Proceedings of the ACM SIGPLAN 2003 Conference on Programming
               Language Design and Implementation 2003, San Diego, California,
               USA, June 9-11, 2003},
  booktitle = {PLDI},
  publisher = {ACM},
  year      = {2003},
  isbn      = {1-58113-662-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}