> For the complete documentation index, see [llms.txt](https://isubasinghe.gitbook.io/isithas-wiki/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://isubasinghe.gitbook.io/isithas-wiki/computer_science/programming_language_theory/semantics.md).

# semantics

## Basic idea

Formal meaning of programs. Three classical styles: *operational* (how it runs, step-by-step), *denotational* (what mathematical object it denotes), *axiomatic* (which logical properties hold).

## Key formulas

* Small-step: $e \to e'$
* Big-step: $e \Downarrow v$
* Denotational: $\llbracket e \rrbracket : \text{Env} \to \text{Val}$
* Hoare triple (axiomatic): ${P}\ C\ {Q}$