Carl Christian Frederiksen

发表

Sub-Computation Based Transition Predicate Abstraction

Masami Hagiya, Carl Christian Frederiksen, 2007 .

Automatic Runtime Analysis for First Order Functional Programs

Carl Christian Frederiksen, 2002 .

Proving correctness of compiler optimizations by temporal logic

Eric Van Wyk, Neil D. Jones, David Lacey, 2002, POPL '02.

A Simple Implementation of the Size-Change Termination Principle

Carl Christian Frederiksen, 2001 .

Correctness of Classical Compiler Optimizations using CTL

Carl Christian Frederiksen, 2002, COCV@ETAPS.

Compiler Optimization Correctness by Temporal Logic

Eric Van Wyk, Neil D. Jones, David Lacey, 2004, High. Order Symb. Comput..

Proving correctness of compiler optimizations by temporal logic

Carl Christian Frederiksen, N. Jones, E. V. Wyk, 2002, POPL '02.