| progr. | Executing a statement produces a computation that can halt normal outcome, raise an exception, cause a checked runtime error, or loop forever | Исполнение оператора порождает вычисление, которое может закончиться нормальный результат, вызвать исключение, стать причиной контролируемой ошибки времени исполнения или же исполняться бесконечно зациклиться (ssn) |