![]() |
|
Navigation |
Synopsis Description of the execution behaviour of a program.
Description Dynamic semantics describes the execution behaviour of a program and includes:
![]() |