denotational semantics (Q1189746)
Jump to navigation
Jump to search
approach of formalizing the meanings of programming languages by constructing mathematical objects (called denotations) that describe the meanings of expressions from the languages
- Scott–Strachey semantics (initially)
- mathematical semantics (initially)
Language | Label | Description | Also known as |
---|---|---|---|
English | denotational semantics |
approach of formalizing the meanings of programming languages by constructing mathematical objects (called denotations) that describe the meanings of expressions from the languages |
|
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(15 entries)
- dewiki Denotationelle Semantik
- elwiki Δηλωτική σημασιολογία
- enwiki Denotational semantics
- frwiki Sémantique dénotationnelle
- hrwiki Denotacijska semantika
- itwiki Semantica denotazionale
- jawiki 表示的意味論
- kowiki 표시적 의미론
- ptwiki Semântica denotacional
- rowiki Semantică denotațională
- shwiki Denotacijska semantika
- srwiki Денотациона семантика
- trwiki Gösterimsel semantik
- ukwiki Денотаційна семантика
- zhwiki 指称语义