Synopsis Description of the execution behaviour of a program.
Description Dynamic semantics describes the execution behaviour of a program and includes:
  • Treatment of declarations, names, variables and Scopes.
  • Execution of procedures, statements and expressions.

    Contrast with StaticSemantics that describes pre-execution behaviour.
Is this page unclear, or have you spotted an error? Please add a comment below and help us to improve it. For all other questions and remarks, visit