Natural Semantics (1)

• A way of specifying the semantics of programming languages

• Origins in the Structural Operational Semantics and Natural Deduction

• Can be compiled and executed

• Can be used to construct formal proofs