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]

Bibliographies