MarronHKS08'

BibTeX

@inproceedings{DBLP:conf/cc/MarronHKS08,
  author    = {Mark Marron and
               Manuel V. Hermenegildo and
               Deepak Kapur and
               Darko Stefanovic},
  title     = {Efficient Context-Sensitive Shape Analysis with Graph Based
               Heap Models},
  booktitle = {CC},
  year      = {2008},
  pages     = {245-259},
  ee        = {http://dx.doi.org/10.1007/978-3-540-78791-4_17},
  crossref  = {DBLP:conf/cc/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/cc/2008,
  editor    = {Laurie J. Hendren},
  title     = {Compiler Construction, 17th International Conference, CC
               2008, Held as Part of the Joint European Conferences on
               Theory and Practice of Software, ETAPS 2008, Budapest, Hungary,
               March 29 - April 6, 2008. Proceedings},
  booktitle = {CC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4959},
  year      = {2008},
  isbn      = {978-3-540-78790-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}