Editing Compiler (section)

=== Compiler correctness ===
{{Main|Compiler correctness}}
[[Compiler correctness]] is the branch of software engineering that deals with trying to show that a compiler behaves according to its [[programming language|language specification]].<ref>{{Citation |title=S1-A Simple Compiler |date=2012-02-28 |url=http://dx.doi.org/10.1002/9781118112762.ch12 |work=Compiler Construction Using Java, JavaCC, and Yacc |pages=289–329 |access-date=2023-05-17 |place=Hoboken, NJ, US |publisher=John Wiley & Sons, Inc. |doi=10.1002/9781118112762.ch12 |isbn=978-1-118-11276-2|url-access=subscription }}</ref> Techniques include developing the compiler using [[formal methods]] and using rigorous testing (often called compiler validation) on an existing compiler.