About: Denotational semantics

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Approach of formalizing the meanings of programming languages by constructing mathematical objects (called denotations) that describe the meanings of expressions from the languages

Property Value
dbo:description
  • プログラミング言語におけるプログラム意味論の手法 (ja)
  • Metasprache zur Definition einer formalen Semantik (de)
  • approach of formalizing the meanings of programming languages by constructing mathematical objects (called denotations) that describe the meanings of expressions from the languages (en)
  • 프로그래밍 언어의 프로그램 의미론의 수법 (ko)
dbo:wikiPageExternalLink
dbo:wikiPageInterLanguageLink
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdfs:label
  • Denotational semantics (en)
  • Δηλωτική σημασιολογία (el)
  • Denotationelle Semantik (de)
  • Sémantique dénotationnelle (fr)
  • Semantica denotazionale (it)
  • 表示的意味論 (ja)
  • 표시적 의미론 (ko)
  • Semântica denotacional (pt)
  • Денотаційна семантика (uk)
  • 指称语义 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:knownFor of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International