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]

Authors

David Lacey

This author has not been identified. Look up 'David Lacey' in Google

Neil D. Jones

Identified as Neil D. Jones

Eric Van Wyk

Identified as Eric Van Wyk

Carl Christian Frederiksen

This author has not been identified. Look up 'Carl Christian Frederiksen' in Google