Denotational semantics: Programming Language Design course | Zoonk
13. Denotational semantics
Map programs to mathematical meanings using compositional semantic functions and domains. Apply the method to expressions, state, functions, and nontermination.
