| |
| 2004 | ||
|---|---|---|
| 3 | EE | David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen: Compiler Optimization Correctness by Temporal Logic. Higher-Order and Symbolic Computation 17(3): 173-206 (2004) |
| 2002 | ||
| 2 | EE | David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen: Proving correctness of compiler optimizations by temporal logic. POPL 2002: 283-294 |
| 1 | EE | Carl Christian Frederiksen: Correctness of Classical Compiler Optimizations using CTL. Electr. Notes Theor. Comput. Sci. 65(2): (2002) |
| 1 | Neil D. Jones | [2] [3] |
| 2 | David Lacey | [2] [3] |
| 3 | Eric Van Wyk | [2] [3] |