Carl Christian Frederiksen

Publication Activity (10 Years)

Years Active: 2002-2007
Publications (10 Years): 0

Publications

Carl Christian Frederiksen, Masami Hagiya
Sub-Computation Based Transition Predicate Abstraction. Inf. Media Technol. 2 (3) (2007)
David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen
Compiler Optimization Correctness by Temporal Logic. High. Order Symb. Comput. 17 (3) (2004)
David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen
Proving correctness of compiler optimizations by temporal logic. POPL (2002)
Carl Christian Frederiksen
Correctness of Classical Compiler Optimizations using CTL. Electron. Notes Theor. Comput. Sci. 65 (2) (2002)