@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
<http://dbpedia.org/resource/Curry\u2013Howard_correspondence>	dbo:wikiPageWikiLink	dbr:Program_correctness .
dbr:David_Gries	dbo:wikiPageWikiLink	dbr:Program_correctness .
<http://dbpedia.org/resource/Const_(computer_programming)>	dbo:wikiPageWikiLink	dbr:Program_correctness .
<http://dbpedia.org/resource/Krzysztof_R._Apt>	dbo:wikiPageWikiLink	dbr:Program_correctness .
<http://dbpedia.org/resource/Richard_W._Conway>	dbo:wikiPageWikiLink	dbr:Program_correctness .
<http://dbpedia.org/resource/Invariant_(mathematics)>	dbo:wikiPageWikiLink	dbr:Program_correctness .
dbr:Language-based_security	dbo:wikiPageWikiLink	dbr:Program_correctness .
dbr:Richard_Lipton	dbo:wikiPageWikiLink	dbr:Program_correctness .
@prefix ns2:	<http://dbpedia.org/resource/PL/> .
ns2:C	dbo:wikiPageWikiLink	dbr:Program_correctness .
dbr:Program_analysis	dbo:wikiPageWikiLink	dbr:Program_correctness .
dbr:Particle_swarm_optimization	dbo:wikiPageWikiLink	dbr:Program_correctness .
dbr:Type_system	dbo:wikiPageWikiLink	dbr:Program_correctness .
dbr:Specification_language	dbo:wikiPageWikiLink	dbr:Program_correctness .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Program_correctness	owl:sameAs	dbr:Program_correctness ;
	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/Correctness_(computer_science)> ;
	dbo:wikiPageRedirects	<http://dbpedia.org/resource/Correctness_(computer_science)> .
dbr:On_the_Cruelty_of_Really_Teaching_Computer_Science	dbo:wikiPageWikiLink	dbr:Program_correctness .