Scott–Strachey approach to denotational semantics
GPTKB entity
Statements (21)
Predicate | Object |
---|---|
gptkbp:instanceOf |
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 |
computer science
formal semantics |
gptkbp:focusesOn |
mathematical meaning of programming languages
|
https://www.w3.org/2000/01/rdf-schema#label |
Scott–Strachey approach to denotational semantics
|
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
|