Compiler Correctness
Compiler correctness is the branch of software engineering that deals with trying to show that a compiler behaves according to its language specification. Techniques include developing the compiler using formal methods and using rigorous testing (often called compiler validation) on an existing compiler.
Read more about this topic: Compiler
Famous quotes containing the word correctness:
“Rather would I have the love songs of romantic ages, rather Don Juan and Madame Venus, rather an elopement by ladder and rope on a moonlight night, followed by the fathers curse, mothers moans, and the moral comments of neighbors, than correctness and propriety measured by yardsticks.”
—Emma Goldman (18691940)
Related Phrases
Related Words