About: Compiler correctness

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Branch of computer science

Property	Value
dbo:description	branch of computer science (en)
dbo:wikiPageWikiLink	dbc:Compiler_construction dbr:Compiler dbr:Standard_ML dbr:Formal_methods dbr:C99 dbc:Compiler_theory dbr:Fuzzing dbr:Computing dbr:Programming_language dbr:Correctness_(computer_science) dbr:Formal_verification dbr:Regression_testing dbr:Reflections_on_Trusting_Trust dbr:CompCert dbr:Verification_and_validation_(software) dbr:Automated_theorem_prover dbr:HOL_(proof_assistant) dbr:Test_case_reduction dbr:Deductive_logic dbr:Compilers:_Principles,_Techniques_and_Tools dbr:Proof_checker
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Expand_section dbt:Citation_needed dbt:Short_description
dct:subject	dbc:Compiler_construction dbc:Compiler_theory
gold:hypernym	dbr:Branch
rdfs:label	Compiler correctness (en)
owl:sameAs	freebase:Compiler correctness wikidata:Compiler correctness dbpedia-fa:Compiler correctness dbpedia-global:Compiler correctness
prov:wasDerivedFrom	wikipedia-en:Compiler_correctness?oldid=1256527770&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Compiler_correctness
is dbo:wikiPageRedirects of	dbr:Formal_verification_of_compilers dbr:Translation_validation
is dbo:wikiPageWikiLink of	dbr:Compiler dbr:Correctness_(computer_science) dbr:John_Regehr dbr:Software_verification_and_validation dbr:Formal_verification_of_compilers dbr:Translation_validation
is foaf:primaryTopic of	wikipedia-en:Compiler_correctness

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International