Compiler correctness

In computing, compiler correctness is a subfield of computer science focused on proving that a compiler's output program preserves the semantics defined by the source language's specification.^[1] Techniques include developing the compiler using formal methods and using rigorous testing (often called compiler validation) on an existing compiler.