ENTCS Proceedings
Proceedings
of the Fourth International Workshop on Compiler Optimization meets
Compiler Verification (COCV 2005) (Edinburgh, UK, 03 April 2005),
J. Knoop, G. C. Necula, and W. Zimmermann (Eds.), Electronic Notes in
Theoretical Computer Science, Elsevier B.V., Volume 141, Issue 2,
Pages 1-120 (7 December 2005).