Dynamic Semantics

rascal-0.40.17

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.