Content deleted Content added
→See also: Link compiler testing section, which was moved to a separate article, unwisely IMHO. |
Added brief section on compiler correctness with link to more detailed article |
||
Line 115:
Due to the extra time and space needed for compiler analysis and optimizations, some compilers skip them by default. Users have to use compilation options to explicitly tell the compiler which optimizations should be enabled.
==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]]{{cn}}. Techniques include developing the compiler using [[formal methods]] and using rigorous testing (often called compiler validation) on an existing compiler.
== Related techniques ==
| |||