This HTML5 document contains 40 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n17https://global.dbpedia.org/id/
n18http://dbpedia.org/resource/Compilers:
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Compiler_correctness
rdf:type
dbo:Organisation
rdfs:label
Compiler correctness
rdfs:comment
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. Techniques include developing the compiler using formal methods and using rigorous testing (often called compiler validation) on an existing compiler.
dcterms:subject
dbc:Compiler_theory dbc:Compiler_construction
dbo:wikiPageID
22131613
dbo:wikiPageRevisionID
1099609871
dbo:wikiPageWikiLink
dbr:Deductive_logic dbr:Proof_checker dbr:Automated_theorem_prover dbr:Verification_and_validation_(software) dbr:Standard_ML dbr:Regression_testing dbr:Formal_methods dbr:Compiler dbr:HOL_(proof_assistant) dbr:Programming_language dbr:Computing dbr:Reflections_on_Trusting_Trust dbr:Test_case_reduction dbr:Correctness_(computer_science) dbr:Formal_verification dbr:C99 dbr:CompCert dbc:Compiler_theory n18:_Principles,_Techniques_and_Tools dbr:Fuzzing dbc:Compiler_construction
owl:sameAs
dbpedia-fa:صحت_کامپایلر wikidata:Q5156378 freebase:m.05p8462 n17:4hzyQ
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Citation_needed dbt:Expand_section
dbo:abstract
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. Techniques include developing the compiler using formal methods and using rigorous testing (often called compiler validation) on an existing compiler.
gold:hypernym
dbr:Branch
prov:wasDerivedFrom
wikipedia-en:Compiler_correctness?oldid=1099609871&ns=0
dbo:wikiPageLength
9658
foaf:isPrimaryTopicOf
wikipedia-en:Compiler_correctness