Denotational semantics
flowchart
AA["Associated Authors (0)"]
C[Denotational semantics]
BC["Broader Concepts (1)"]
NC["Narrower Concepts (7)"]
C== skos:broader ==>BC
NC== skos:broader ==>C
AA== dcterms:relation ==>C
click BC "#broader-concepts"
click NC "#narrower-concepts"
click AA "#associated-authors"
NI["add incoming edge"]
NO["add outgoing edge"]
NI-- ? -->C
C-- ? -->NO
click NI "#add-incoming-edge"
click NO "#add-outgoing-edge"
style NI stroke-width:2px,stroke-dasharray: 5 5
style NO stroke-width:2px,stroke-dasharray: 5 5
- Wikidata
- https://www.wikidata.org/wiki/Q1189746
- OpenAlex ID
- https://openalex.org/C207648694 (API record)
- OpenAlex Description
- approach of formalizing the meanings of programming languages by constructing mathematical objects (called denotations) that describe the meanings of expressions from the languages
- OpenAlex Level [?]
- 4
Broader Concepts
Narrower Concepts
- Action semantics
- Axiomatic semantics
- Denotational semantics of the Actor model
- Game semantics
- Normalisation by evaluation
- Proof-theoretic semantics
- Well-founded semantics
Associated Authors
Add Incoming Edge
Login via ORCiD to contribute.
Add Outgoing Edge
Login via ORCiD to contribute.
HelioWeb