BibTeX record: conf/popl/SagivRW96

download as .bib file

@inproceedings{DBLP:conf/popl/SagivRW96,
  author    = {Shmuel Sagiv and
               Thomas W. Reps and
               Reinhard Wilhelm},
  title     = {Solving Shape-Analysis Problems in Languages with Destructive Updating.},
  booktitle = {Conference Record of POPL'96: The 23rd {ACM} {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, Papers Presented at the Symposium,
               St. Petersburg Beach, Florida, USA, January 21-24, 1996},
  year      = {1996},
  pages     = {16--31},
  crossref  = {DBLP:conf/popl/1996},
  url       = {http://doi.acm.org/10.1145/237721.237725},
  doi       = {10.1145/237721.237725},
  timestamp = {Wed, 03 Sep 2014 04:23:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/popl/SagivRW96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/popl/1996,
  editor    = {{Hans-Juergen} Boehm and
               Guy L. Steele Jr.},
  title     = {Conference Record of POPL'96: The 23rd {ACM} {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, Papers Presented at the Symposium,
               St. Petersburg Beach, Florida, USA, January 21-24, 1996},
  year      = {1996},
  publisher = {{ACM} Press},
  url       = {http://dl.acm.org/citation.cfm?id=237721},
  isbn      = {0-89791-769-3},
  timestamp = {Wed, 03 Sep 2014 04:23:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/popl/1996},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}