Styles of semantics(operational, denotational, axiomatic semantics), accodoring to G. winskel
Styles of semantics
- Operational. Meanings for program phrases defined in terms of the steps of computation they can take during program execution.
- Axiomatic. Meanings for program phrases defined indirectly via the axioms and rules of some logic of program properties.
- Denotational. Concerned with giving mathematical models of programming languages. Meanings for program phrases defined abstractly as elements of some suitable mathematical structure.
cited from:
http://www.cl.cam.ac.uk/~gw104/dens.pdf