LaceyJWF02'

@inproceedings{DBLP:conf/popl/LaceyJWF02,
  author    = {David Lacey and
               Neil D. Jones and
               Eric Van Wyk and
               Carl Christian Frederiksen},
  title     = {Proving correctness of compiler optimizations by temporal
               logic},
  booktitle = {POPL},
  year      = {2002},
  pages     = {283-294},
  ee        = {http://doi.acm.org/10.1145/503272.503299},
  crossref  = {DBLP:conf/popl/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/popl/2002,
  editor    = {John Launchbury and
               John C. Mitchell},
  title     = {Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT
               Symposium on Principles of Programming Languages, Portland,
               OR, USA, January 16-18, 2002},
  booktitle = {POPL},
  publisher = {ACM},
  year      = {2002},
  isbn      = {1-58113-450-9},
  ee        = {http://dl.acm.org/citation.cfm?id=503272},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}