BibTeX record conf/popl/CousotC77

download as .bib file

@inproceedings{DBLP:conf/popl/CousotC77,
  author    = {Patrick Cousot and
               Radhia Cousot},
  title     = {Abstract Interpretation: {A} Unified Lattice Model for Static Analysis
               of Programs by Construction or Approximation of Fixpoints},
  booktitle = {Conference Record of the Fourth {ACM} Symposium on Principles of Programming
               Languages, Los Angeles, California, USA, January 1977},
  pages     = {238--252},
  year      = {1977},
  crossref  = {DBLP:conf/popl/77},
  url       = {http://doi.acm.org/10.1145/512950.512973},
  doi       = {10.1145/512950.512973},
  timestamp = {Mon, 21 May 2012 16:19:51 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/popl/CousotC77},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/popl/77,
  editor    = {Robert M. Graham and
               Michael A. Harrison and
               Ravi Sethi},
  title     = {Conference Record of the Fourth {ACM} Symposium on Principles of Programming
               Languages, Los Angeles, California, USA, January 1977},
  publisher = {{ACM}},
  year      = {1977},
  url       = {http://dl.acm.org/citation.cfm?id=512950},
  timestamp = {Mon, 21 May 2012 16:19:51 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/popl/77},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}