Умер основоположник программирования

комментарии (1)
версия для печати

Эдсгер Дейкстра — почетный заведующий кафедрой, созданной компаниями Schlumberger и Centennial на факультете информатики (Computer Sciences) университета штата Техас. В 1972 году его научные заслуги отмечены премией Тьюринга. Он член голландской королевской академии наук и искусств, иностранный почетный член американской академии наук и искусств, почетный член британского компьютерного общества, почетный доктор наук Королевского университете Белфаста.

Дейкстра является выдающимся представителем научного направления, которое принято называть теоретическим программированием. Вся его научная деятельность была направлена на разработку средств и методов для создания «правильных» программ, т. е. таких программ, корректность которых может быть доказана формальными методами.

Его первым шагом в этом направлении было активное участие в работе комитета по созданию языка Алгол, который стал эталоном корректного языка программирования.

В нашей стране Дейкстра больше известен как один из основателей и популяризаторов структурного программирования. Он считал, что структурирование облегчает не только визуальный, но и формальный анализ программ.

Другие