Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Compiler_correctness> ?p ?o }
Showing triples 1 to 52 of
52
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 "6129".
- Compiler_correctness wikiPageOutDegree "17".
- Compiler_correctness wikiPageRevisionID "678433526".
- Compiler_correctness wikiPageWikiLink Automated_proof_checking.
- Compiler_correctness wikiPageWikiLink Automated_theorem_prover.
- 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 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 Proof_checker.
- Compiler_correctness wikiPageWikiLink Reflections_on_Trusting_Trust.
- Compiler_correctness wikiPageWikiLink Regression_testing.
- Compiler_correctness wikiPageWikiLink Software_verification_and_validation.
- Compiler_correctness wikiPageWikiLink Verification_and_validation_(software).
- Compiler_correctness wikiPageWikiLinkText "Compiler correctness".
- Compiler_correctness wikiPageWikiLinkText "compiler correctness".
- Compiler_correctness hasPhotoCollection 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 Article.
- Compiler_correctness type Organisation.
- Compiler_correctness type ProgrammingLanguage.
- Compiler_correctness type Software.
- Compiler_correctness type Work.
- Compiler_correctness type Article.
- Compiler_correctness type CreativeWork.
- Compiler_correctness type Thing.
- Compiler_correctness type Q386724.
- Compiler_correctness type Q7397.
- 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 m.05p8462.
- Compiler_correctness sameAs Q5156378.
- Compiler_correctness sameAs Q5156378.
- Compiler_correctness wasDerivedFrom Compiler_correctness?oldid=678433526.
- Compiler_correctness isPrimaryTopicOf Compiler_correctness.