Постусловие
задает новые ограничения на эти переменные после выполнения оператора и обозначается как {Q}.
код данных, в котором допустимому кодовому представлению соответствует несколько недопустимых, причем возникновение ошибок в допустимом представлении преобразует его к одному из соответствующих недопустимых представлений, что позволяет исправить возникшую ошибку.
задает новые ограничения на эти переменные после выполнения оператора и обозначается как {Q}.
вызываются специально предусмотренной инструкцией; такой тип прерываний предназначен для организации интерфейса между системными компонентами и программами.
цикл, в котором условие проверяется после выполнения тела цикла.