0f261156_The_CompCert_verified_compiler__Pass
[Source & target] LTL to Linear [Compiler code] Linearize [Correctness proof] Linearizeproof [Pass] 
Linearization of the CFG
The CompCert verified compiler
Pass