Carl Christian Frederiksen. Correctness of Classical Compiler Optimizations using CTL. Electronic Notes in Theoretical Computer Science, 65(2):37-51, 2002. [doi]
@article{Frederiksen02, title = {Correctness of Classical Compiler Optimizations using CTL}, author = {Carl Christian Frederiksen}, year = {2002}, url = {http://www.elsevier.com/gej-ng/31/29/23/117/25/show/Products/notes/index.htt#004}, tags = {optimization, compiler}, researchr = {https://researchr.org/publication/Frederiksen02}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {65}, number = {2}, pages = {37-51}, }