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