Статья 360

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

О доказательствах правильности программ.

Зачем нужно доказывать правильность программ.

В настоящее время все меньше и меньше остается областей человеческой деятельности, где бы не применялись современные электронно-вычислительные машины - компьютеры. Необычайно быстрыми темпами возрастает их количество, повышается степень надежности, уменьшение размеров сопровождается увеличением быстродействия и растущими объемами памяти ЭВМ. Все эти процессы оказывают глубокое воздействие на жизнь общества. Но использование компьютеров для решения возникающих перед человеком и человечеством проблем, в свою очередь, ставит новые, никогда доселе не обсуждавшиеся вопросы, острота и важность которых не позволяет отложить поиск ответов на долгий срок.