Ada Reference Manual (Ada 2022)

1.3.4 Runtime Actions

assertion

boolean expression that is expected to be True at run time at certain specified places

Note: Certain pragmas and aspects define various kinds of assertions.

elaboration

process by which a declaration achieves its run-time effect

Note: Elaboration is one of the forms of execution.

evaluation

process by which an expression achieves its run-time effect

Note: Evaluation is one of the forms of execution.

execution

process by which a construct achieves its run-time effect

Note: Execution of a declaration is also called elaboration. Execution of an expression is also called evaluation.

logical thread of control

activity within the execution of a program that can proceed in parallel with other activities of the same task, or of separate tasks

master

execution of a master construct

Note: Each object and task is associated with a master. When a master is left, associated tasks are awaited and associated objects are finalized.