Carl Christian Frederiksen

	2004
3		David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen: Compiler Optimization Correctness by Temporal Logic. Higher-Order and Symbolic Computation 17(3): 173-206 (2004)
	2002
2		David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen: Proving correctness of compiler optimizations by temporal logic. POPL 2002: 283-294
1		Carl Christian Frederiksen: Correctness of Classical Compiler Optimizations using CTL. Electr. Notes Theor. Comput. Sci. 65(2): (2002)

Coauthor Index

1	Neil D. Jones	[2] [3]
2	David Lacey	[2] [3]
3	Eric Van Wyk	[2] [3]