The Compiler Validation Project:
Developing tools for proving the correctness of compilation.
let's move this a bit more more
People
Mission
Description
Publications
TVOC: A Translation Validator for Optimizing Compilers
<