Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Program_correctness> }
Showing triples 1 to 11 of
11
with 100 triples per page.
- Const_(computer_programming) wikiPageWikiLink Program_correctness.
- Curry–Howard_correspondence wikiPageWikiLink Program_correctness.
- Invariant_(computer_science) wikiPageWikiLink Program_correctness.
- Language-based_security wikiPageWikiLink Program_correctness.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Program_correctness.
- Particle_swarm_optimization wikiPageWikiLink Program_correctness.
- Program_analysis wikiPageWikiLink Program_correctness.
- Richard_J._Lipton wikiPageWikiLink Program_correctness.
- Specification_language wikiPageWikiLink Program_correctness.
- Type_system wikiPageWikiLink Program_correctness.
- Program_correctness primaryTopic Program_correctness.