We stand with Ukraine  

Carl Christian Frederiksen

According to our database1, Carl Christian Frederiksen authored at least 4 papers between 2002 and 2007.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2007
Sub-Computation Based Transition Predicate Abstraction.
[BibTeX]
[DOI]
Carl Christian Frederiksen
,
Masami Hagiya
Inf. Media Technol., 2007

2004
Compiler Optimization Correctness by Temporal Logic.
[BibTeX]
[DOI]
David Lacey
,
Neil D. Jones
,
Eric Van Wyk
,
Carl Christian Frederiksen
High. Order Symb. Comput., 2004

2002
Correctness of Classical Compiler Optimizations using CTL.
[BibTeX]
[DOI]
Carl Christian Frederiksen
Proceedings of the Compiler Optimization Meets Compiler Verification, 2002

Proving correctness of compiler optimizations by temporal logic.
[BibTeX]
[DOI]
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


  Loading...