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]

Possibly Related Publications

The following publications are possibly variants of this publication: