Compositional CompCert

Keyphrases

• Compiler 100%
• CompCert 100%
• Stack Frame 100%
• CompCert Compiler 100%
• Simulation Relation 100%
• Function Call 50%
• External Function 50%
• Separate Compilation 50%
• Compiler Optimization 50%
• Correctness Proofs 50%
• Strong Semantics 50%
• Comp 50%
• Local Invariants 50%
• Operational Model 50%
• Local Variables 50%
• Language-independent 50%
• Contextual Equivalence 50%
• Memory Regions 50%
• Multi-language 50%
• Register Spilling 50%
• Private Memory 50%

Computer Science

• Simulation Relation 100%
• Function Call 50%
• Separate Compilation 50%
• Compiler Optimization 50%
• Stronger Semantics 50%
• Local Variable 50%
• Operational Model 50%
• Compilation Unit 50%
• Private Memory 50%