@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
<http://dbpedia.org/resource/Argus_(programming_language)>	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Dynamic_semantics	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
<http://dbpedia.org/resource/Knaster\u2013Tarski_theorem>	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Object_model	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
<http://dbpedia.org/resource/SPARK_(programming_language)>	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Formal_methods	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:ProActive	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Game_semantics	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:KPI-driven_code_analysis	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Observational_equivalence	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Outline_of_academic_disciplines	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:List_of_academic_fields	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Axiomatic_semantics	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
<http://dbpedia.org/resource/SIGNAL_(programming_language)>	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
<http://dbpedia.org/resource/Execution_(computing)>	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Static_program_analysis	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:British_Colloquium_for_Theoretical_Computer_Science	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Programming_language	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
<http://dbpedia.org/resource/Scope_(computer_science)>	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
<http://dbpedia.org/resource/Abstraction_(computer_science)>	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Formal_semantics_of_programming_languages	owl:sameAs	dbr:Formal_semantics_of_programming_languages ;
	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/Semantics_(computer_science)> ;
	dbo:wikiPageRedirects	<http://dbpedia.org/resource/Semantics_(computer_science)> .
dbr:Operational_semantics	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
<http://dbpedia.org/resource/Rank_(computer_programming)>	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Normalisation_by_evaluation	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Predicate_transformer_semantics	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Tim_Teitelbaum	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Computing	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:List_of_pioneers_in_computer_science	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Programming_language_specification	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Reason	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
<http://dbpedia.org/resource/Reification_(computer_science)>	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
<http://dbpedia.org/resource/Isabelle_(proof_assistant)>	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
<http://dbpedia.org/resource/Widening_(computer_science)>	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Program_transformation	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Kermeta	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Java_memory_model	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Outline_of_computer_programming	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
<http://dbpedia.org/resource/Department_of_Computer_Science_and_Technology,_University_of_Cambridge>	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Algorithm	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
<http://dbpedia.org/resource/Syntax_(programming_languages)>	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Data_model	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Outline_of_computer_science	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Semantics	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
<http://dbpedia.org/resource/ML_(programming_language)>	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Denotational_semantics	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Fail-stop	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:CIDOC_Conceptual_Reference_Model	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Language-independent_specification	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Glossary_of_computer_science	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Fundamental_modeling_concepts	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Liskov_substitution_principle	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Action_semantics	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Invariant-based_programming	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .
dbr:Hidden_algebra	dbo:wikiPageWikiLink	dbr:Formal_semantics_of_programming_languages .