denotational semantics
Sign in to saveAlso known as Scott–Strachey semantics (initially), mathematical semantics (initially)
approach of formalizing the meanings of programming languages by constructing mathematical objects (called denotations) that describe the meanings of expressions from the languages
Wikidata facts
Show 1 more fact
- Stack Exchange tag
- stackoverflow.com/tags/denotational-semantics
Sources (2)
via Wikidata · CC0
Connections
function
Entity
Tony Hoare
Entity
programming language semantics
Entity
partial function
Entity
process calculus
Entity
principle of compositionality
Entity
complete partial order
Entity
categorical logic
Entity
language
Entity
linguistics
Entity
computer science
Entity
International Standard Book Number
Entity
programming language
Entity
Wayback Machine
Entity
digital object identifier
Entity
semantics
Entity
game theory
Entity
factorial
Entity
Edsger W. Dijkstra
Entity
lexicology
Entity