The top documents tagged [compcert compiler]

Proving Optimizations Correct using Parameterized Program Equivalence
Documents Proving Optimizations Correct using Parameterized Program Equivalence

61 views