Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Compiler_correctness> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items 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.[citation needed] 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 wikiPageRevisionID "602822292".
- Compiler_correctness hasPhotoCollection Compiler_correctness.
- Compiler_correctness subject Category:Compiler_construction.
- Compiler_correctness type ProgrammingLanguage.
- Compiler_correctness type Software.
- Compiler_correctness type Work.
- Compiler_correctness type CreativeWork.
- Compiler_correctness type InformationEntity.
- 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.[citation needed] 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=602822292.
- Compiler_correctness isPrimaryTopicOf Compiler_correctness.