Carl Christian Frederiksen

According to our database, Carl Christian Frederiksen authored at least 3 papers between 2002 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

Compiler Optimization Correctness by Temporal Logic.

David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen

High. Order Symb. Comput., 2004

2002

Correctness of Classical Compiler Optimizations using CTL.

Carl Christian Frederiksen

Proceedings of the Compiler Optimization Meets Compiler Verification, 2002

Proving correctness of compiler optimizations by temporal logic.

David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen

Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002