About: Programming language semantics

Property	Value
rdf:type	skos:Concept
rdfs:label	Programming language semantics
skos:broader	dbpedia:Category:Logic_in_computer_science dbpedia:Category:Programming_language_theory dbpedia:Category:Semantics
skos:prefLabel	Programming language semantics
is skos:broader of	dbpedia:Category:Denotational_semantics dbpedia:Category:Formal_specification_languages
is skos:subject of	dbpedia:Axiomatic_semantics dbpedia:Formal_semantics_of_programming_languages dbpedia:Action_semantics dbpedia:Operational_semantics dbpedia:Liskov_substitution_principle dbpedia:Denotational_semantics dbpedia:Normalisation_by_evaluation