Proving correctness of compiler optimizations by temporal logic

David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen. Proving correctness of compiler optimizations by temporal logic. In POPL. pages 283-294, 2002. [doi]

@inproceedings{LaceyJWF02,
  title = {Proving correctness of compiler optimizations by temporal logic},
  author = {David Lacey and Neil D. Jones and Eric Van Wyk and Carl Christian Frederiksen},
  year = {2002},
  doi = {10.1145/503272.503299},
  url = {http://doi.acm.org/10.1145/503272.503299},
  tags = {optimization, compiler, logic},
  researchr = {https://researchr.org/publication/LaceyJWF02},
  cites = {0},
  citedby = {0},
  pages = {283-294},
  booktitle = {POPL},
}