Dynamic Semantics (or just Semantics): specifies meaning of programs