About: Denotational semantics

An Entity of Type: Concept, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Property	Value
dbo:wikiPageID	13513601 (xsd:integer)
dbo:wikiPageRevisionID	481028167 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Cat_main
rdf:type	skos:Concept
rdfs:label	Denotational semantics (en)
skos:broader	dbc:Concurrent_computing dbc:Formal_specification_languages dbc:Mathematics_of_computing dbc:Programming_language_semantics dbc:Concurrency_(computer_science) dbc:Logic_in_computer_science dbc:Models_of_computation
skos:prefLabel	Denotational semantics (en)
prov:wasDerivedFrom	wikipedia-en:Category:Denotational_semantics?oldid=481028167&ns=14
is dbo:wikiPageWikiLink of	dbr:Power_domains dbr:Denotational_semantics dbr:Unbounded_nondeterminism dbr:Denotational_semantics_of_the_Actor_model dbr:Strict_function dbr:Actor_model_theory dbr:Divergence_(computer_science)
is dct:subject of	dbr:Power_domains dbr:Denotational_semantics dbr:Unbounded_nondeterminism dbr:Denotational_semantics_of_the_Actor_model dbr:Strict_function dbr:Actor_model_theory dbr:Divergence_(computer_science)
is skos:broader of	dbc:Domain_theory

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License