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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.