Справочник по Ada (Ada 2022)
1.3.4 Действия во время выполнения
утверждение
булево выражение, которое ожидается как True во время выполнения в определённых местах
Примечание: Некоторые директивы и аспекты определяют различные виды утверждений.
развёртывание
процесс, посредством которого объявление достигает своего эффекта во время выполнения
Примечание: Развёртывание является одной из форм выполнения.
вычисление
процесс, посредством которого выражение достигает своего эффекта во время выполнения
Примечание: Вычисление является одной из форм выполнения.
выполнение
процесс, посредством которого конструкция достигает своего эффекта во время выполнения
Примечание: Выполнение объявления также называется развёртыванием. Выполнение выражения также называется вычислением.
логическая нить управления
активность в рамках выполнения программы, которая может проходить параллельно с другими активностями той же задачи или отдельных задач
главный
выполнение главной конструкции
Примечание: Каждый объект и задача ассоциированы с главным. Когда главный покидает, связанные задачи ожидают, а связанные объекты завершаются.
