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},
}