formal semantics
Short definition from Wiktionary
Noun
- The study of the semantics, or interpretations, of formal languages.
- the rigorous mathematical study of the meaning of programming languages
We haven’t written up formal semantics yet: Simple and Standard meanings, examples and a quiz.