About: Denotational semantics

Property	Value
rdf:type	skos:Concept
rdfs:label	Denotational semantics
skos:broader	dbpedia:Category:Computational_models dbpedia:Category:Concurrency dbpedia:Category:Logic_in_computer_science dbpedia:Category:Mathematics_of_computing dbpedia:Category:Programming_language_semantics dbpedia:Category:Concurrent_computing dbpedia:Category:Fixed_points dbpedia:Category:Formal_specification_languages
skos:prefLabel	Denotational semantics
is skos:broader of	dbpedia:Category:Domain_theory
is skos:subject of	dbpedia:Actor_model_theory dbpedia:Denotational_semantics_of_the_Actor_model dbpedia:Denotational_semantics dbpedia:Unbounded_nondeterminism dbpedia:Power_domains