Concept
Dynamic semantics
Books
Journey Statuslearning Tags
The meaning of programs in terms of their runtime behavior - how expressions evaluate, statements execute, and state changes over time.
The meaning of programs in terms of their runtime behavior - how expressions evaluate, statements execute, and state changes over time. Contrast with Static semantics.