4th International Workshop on

Compiler Optimization Meets Compiler Verification

COCV 2005

Edinburgh, UK, April 3, 2005

http://www.complang.tuwien.ac.at/knoop/COCV2005/cocv2005.html  

In conjunction with the
8th European Joint Conferences on Theory and Practice of Software (ETAPS 2005)
Edinburgh, UK, April 2 - 10, 2005