Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01510077n
Noun Concept
Categories: Compiler construction
EN
compiler correctness  Formal verification of compilers  translation validation
EN
In computing, compiler correctness is the branch of computer science that deals with trying to show that a compiler behaves according to its language specification. Wikipedia
Definitions
Relations
Sources
EN
In computing, compiler correctness is the branch of computer science that deals with trying to show that a compiler behaves according to its language specification. Wikipedia
IS A
correctness
FACET OF
compiler
Wikipedia
EN
compiler correctness
Wikidata
EN
Compiler correctness
Wikipedia Redirections
EN
Formal verification of compilers, translation validation

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License