In theoretical computer science formal semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages and models of computation.
The formal semantics of a language is given by a mathematical model to represent the possible computations described by the language.
There are several approaches to formal semantics. These include:
- Denotational semantics
- Operational semantics
- Axiomatic semantics
- Categorical semantics (also called Functorial semantics)