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): 37-51 (2002)

Coauthor Index

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

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page