Статья 374

Целью можно считать поиск решения поставленной задачи, а программу рассматривать как способ ее решения. Программа будет правильной, если она решит сформулированную задачу. Доказательство правильности программы состоит в предъявлении такой цепочки аргументов, которые убедительно свидетельствуют о том, что это действительно так, что программа на самом деле решает поставленную задачу.
Например, если в одном ящике содержится 500 яблок, а в другом 250 груш и поставлена задача определить, сколько плодов находится в обоих ящиках, то соответствующая программа на Бейсике выглядит как выполнение утверждения присваивания. Чтобы в явной форме получить значение добавим еще одну команду. В результате после выполнения программы будет напечатано число 750, являющееся решением первой задачи. Если же требуется узнать, во сколько раз яблок больше, чем груш, используем другое присваивание знак обозначает операцию деления и снова распечатаем результат.