Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Compiler_correctness> ?p ?o }
Showing triples 1 to 43 of
43
with 100 triples per page.
- Compiler_correctness abstract "In computing, 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.".
- Compiler_correctness wikiPageID "22131613".
- Compiler_correctness wikiPageLength "6180".
- Compiler_correctness wikiPageOutDegree "17".
- Compiler_correctness wikiPageRevisionID "701803004".
- Compiler_correctness wikiPageWikiLink Automated_proof_checking.
- Compiler_correctness wikiPageWikiLink Automated_theorem_proving.
- Compiler_correctness wikiPageWikiLink Backdoor_(computing).
- Compiler_correctness wikiPageWikiLink C_(programming_language).
- Compiler_correctness wikiPageWikiLink Category:Compiler_construction.
- Compiler_correctness wikiPageWikiLink CompCert.
- Compiler_correctness wikiPageWikiLink Compiler.
- Compiler_correctness wikiPageWikiLink Compilers:_Principles,_Techniques,_and_Tools.
- Compiler_correctness wikiPageWikiLink Computing.
- Compiler_correctness wikiPageWikiLink Correctness_(computer_science).
- Compiler_correctness wikiPageWikiLink Formal_methods.
- Compiler_correctness wikiPageWikiLink Formal_verification.
- Compiler_correctness wikiPageWikiLink Model_checking.
- Compiler_correctness wikiPageWikiLink Programming_language.
- Compiler_correctness wikiPageWikiLink Regression_testing.
- Compiler_correctness wikiPageWikiLink Software_verification_and_validation.
- Compiler_correctness wikiPageWikiLinkText "Compiler correctness".
- Compiler_correctness wikiPageWikiLinkText "compiler correctness".
- Compiler_correctness wikiPageUsesTemplate Template:Citation_needed.
- Compiler_correctness wikiPageUsesTemplate Template:Expand_section.
- Compiler_correctness wikiPageUsesTemplate Template:Prog-lang-stub.
- Compiler_correctness subject Category:Compiler_construction.
- Compiler_correctness hypernym Branch.
- Compiler_correctness type Language.
- Compiler_correctness type Organisation.
- Compiler_correctness type ProgrammingLanguage.
- Compiler_correctness type Language.
- Compiler_correctness type Thing.
- Compiler_correctness type Q315.
- Compiler_correctness type Q34770.
- Compiler_correctness type Q9143.
- Compiler_correctness comment "In computing, 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.".
- Compiler_correctness label "Compiler correctness".
- Compiler_correctness sameAs Q5156378.
- Compiler_correctness sameAs m.05p8462.
- Compiler_correctness sameAs Q5156378.
- Compiler_correctness wasDerivedFrom Compiler_correctness?oldid=701803004.
- Compiler_correctness isPrimaryTopicOf Compiler_correctness.