Papers tagged correctness proofs

• Formal Certification of a Compiler Back-end or: Programming a Compiler with a Proof Assistant

• Browse
• All Keywords
• By Category