Certifying code generation runs with Coq: A tool description (0)

by J O AND GREGOIRE BLECH, B
Venue:In Proceedings of the 7th International Workshop on Compiler Optimization Meets Compiler Verification