Skip to main content

Dynamic Semantics

rascal-0.28.2

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 Static Semantics that describes pre-execution behaviour.