Scott–Strachey approach to denotational semantics
GPTKB entity
Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:approach_to_denotational_semantics
|
| gptkbp:aimsTo |
provide compositional semantics
|
| gptkbp:alternativeTo |
axiomatic semantics
operational semantics |
| gptkbp:describes |
programs as mathematical functions
|
| gptkbp:developedBy |
gptkb:Dana_Scott
gptkb:Christopher_Strachey |
| gptkbp:field |
gptkb:formal_semantics
computer science |
| gptkbp:focusesOn |
mathematical meaning of programming languages
|
| gptkbp:influenced |
gptkb:lambda_calculus
gptkb:logic programming language theory |
| gptkbp:introducedIn |
late 1960s
|
| gptkbp:relatedTo |
continuous functions
fixed-point theory lattices |
| gptkbp:uses |
domain theory
|
| gptkbp:bfsParent |
gptkb:Dana_Scott
|
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
Scott–Strachey approach to denotational semantics
|