|
Search the dblp DataBase
Carl Christian Frederiksen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen
Proving correctness of compiler optimizations by temporal logic. [Citation Graph (0, 0)][DBLP] POPL, 2002, pp:283-294 [Conf]
- Carl Christian Frederiksen
Correctness of Classical Compiler Optimizations using CTL. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:65, n:2, pp:- [Journal]
- David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen
Compiler Optimization Correctness by Temporal Logic. [Citation Graph (0, 0)][DBLP] Higher-Order and Symbolic Computation, 2004, v:17, n:3, pp:173-206 [Journal]
Search in 0.001secs, Finished in 0.001secs
|