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
- Subclass of
- programming language semantics
Show 1 more fact
- Stack Exchange tag
- stackoverflow.com/tags/denotational-semantics
Sources (2)
via Wikidata · CC0