Для директивного программирования верны следующие утверждения:
При нахождении минимального числа, содержащегося в каждом из трех упорядоченных по возрастанию массивов целых чисел, в предположении, что таковое существует, в качестве действий, которые будут приближать цикл к завершению можно использовать следующие операторы:
Истинность утверждения на котором базируется схема проектирования цикла при помощи инварианта может быть выведена из:
В тех случаях, когда утверждения проверки корректности хода выполнения программы предназначены только для человека, они оформляются в виде: