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