Algebraic Semantics is a kind of Formal Semantics that represents Programs as Algebraic Structures.
- A form of Axiomatic Semantics, but its algebraic laws can also be interpreted denotationally and operationally
Examples
- In DSP, the Transfer Function of a System can be represented in Operator Notation, which is an Point-Free, algebraic form of a Difference Equation