Эдсгер В. Дейкстра

Эдсгер В. Дейкстра
Дийкстра в 2002 году
Рожденный	( 1930-05-11 ) 11 мая 1930 г. Роттердам , Нидерланды
Умер	6 августа 2002 г. (06 августа 2002 г.) (72 года) Нюэнен , Нидерланды
Гражданство	Нидерланды
Образование	Лейденский университет (бакалавр, магистр) Амстердамский университет (доктор философии)
Супруг	Риа К. Дебец
Награды	Премия Тьюринга (1972) Премия Мемориала Гарри Х. Гуда (1974) Выдающийся вклад SIGCSE (1989) Сотрудник ACM (1994) Премия Дейкстры (2002)
Научная карьера
Поля	Информатика Теоретическая информатика
Учреждения	Математический центр Эйндховенский технологический университет Корпорация Берроуза Техасский университет в Остине
Диссертация	Связь с автоматическим компьютером   (1959)
Докторантура	Адриан ван Вейнгаарден
Докторанты	Нико Хаберманн Ян ван де Снепшеут

Эдсгер Вайбе Дейкстра ( / ˈ d aɪ k s t r ə / DYKE -strə ; Голландский: [ˈɛtsxər ˈʋibə ˈdɛikstra] ; 11 мая 1930 — 6 августа 2002) — голландский учёный-компьютерщик , программист , инженер-программист , математик и научный публицист .

Дейкстра родился в Роттердаме , Нидерланды , и изучал математику и физику, а затем теоретическую физику в Лейденском университете . Адриан ван Вейнгаарден предложил ему работу первого программиста в Нидерландах в Математическом центре в Амстердаме , где он работал с 1952 по 1962 год. Он сформулировал и решил задачу о кратчайшем пути в 1956 году, а в 1960 году разработал первый компилятор для язык программирования АЛГОЛ 60 совместно с коллегой Яапом А. Зонневельдом . В 1962 году он переехал в Эйндховен , а затем в Нюэнен , где стал профессором математического факультета Высшей технической школы Эйндховена . В конце 1960-х годов он создал мультипрограммную систему THE , которая повлияла на конструкции последующих систем за счет использования программной страничной виртуальной памяти. Дейкстра присоединился к корпорации Burroughs в качестве единственного научного сотрудника в августе 1973 года. В годы Берроуза он наиболее плодотворно писал исследовательские статьи. Он написал около 500 документов серии «EWD», большинство из которых представляли собой технические отчеты, для частного распространения внутри избранной группы.

Дейкстра принял кафедру столетия Schlumberger на факультете компьютерных наук Техасского университета в Остине в 1984 году и работал в Остине, штат Техас , до выхода на пенсию в ноябре 1999 года. Он и его жена вернулись из Остина в свой родной дом в Нюэнене, где он умер 6 августа 2002 года после долгой борьбы с раком.

В 1972 году он получил премию Тьюринга за фундаментальный вклад в разработку структурированных языков программирования. Незадолго до своей смерти он получил награду ACM PODC Influential Paper Award в области распределенных вычислений за работу по самостабилизации программных вычислений. эта ежегодная награда была переименована в Премию Дейкстры В следующем году в его честь.

Жизнь и творчество

Ранние годы

Эдсгер В. Дейкстра родился в Роттердаме . Его отец был химиком, президентом Голландского химического общества ; он преподавал химию в средней школе, а позже был ее директором. Его мать была математиком, но никогда не имела официальной работы.

Дейкстра подумывал о карьере юриста и надеялся представлять Нидерланды в Организации Объединенных Наций . Однако после окончания школы в 1948 году по предложению родителей он изучал математику и физику, а затем теоретическую физику в Лейденском университете .

В начале 1950-х годов электронные компьютеры были новинкой. Дейкстра случайно наткнулся на свою карьеру и через своего научного руководителя, профессора Йоханнеса Хаантьеса , он познакомился с Адрианом ван Вейнгаарденом , директором вычислительного отдела Математического центра в Амстердаме , который предложил Дейкстре работу; он официально стал первым «программистом» Нидерландов в марте 1952 года.

Дейкстра какое-то время оставался преданным физике, работая над ней в Лейдене три дня в неделю. Однако с увеличением знакомства с компьютерами его фокус начал смещаться. Как он вспоминал:

Проработав около трех лет программирования, я имел беседу с А. ван Вейнгаарденом, который тогда был моим начальником в Математическом центре в Амстердаме, дискуссию, за которую я буду благодарен ему до конца своей жизни. Дело было в том, что я должен был одновременно изучать теоретическую физику в Лейденском университете, а поскольку совмещать эти два вида деятельности мне было все труднее и труднее, мне пришлось принять решение: либо бросить программирование, либо стать настоящим, респектабельным теоретиком. физиком, или довести свое изучение физики до формального завершения, с минимумом усилий, и стать....., да чем? Программист? Но была ли это уважаемая профессия? В конце концов, что такое программирование? Где был солидный объем знаний, который мог бы поддержать ее как интеллектуально респектабельную дисциплину? Я очень хорошо помню, как я завидовал своим коллегам по аппаратному обеспечению, которые, когда их спрашивали об их профессиональной компетентности, могли хотя бы указать, что они знают все о электронных лампах, усилителях и всем остальном, тогда как я чувствовал, что, столкнувшись с этим вопросом, я стоял бы с пустыми руками. Полный опасений, я постучал в дверь кабинета Ван Вейнгаардена и спросил, могу ли я «поговорить с ним минутку»; когда я вышел из его офиса несколько часов спустя, я был другим человеком. Потому что, терпеливо выслушав мои задачи, он согласился, что до этого момента дисциплины программирования было не так много, но затем он продолжил спокойно объяснять, что автоматические компьютеры никуда не денутся, что мы находимся только в начале пути и можем не буду ли я одним из тех, кто призван сделать программирование уважаемой дисциплиной в ближайшие годы? Это был поворотный момент в моей жизни, и я завершил формальное изучение физики так быстро, как только мог.

— Эдсгер Дейкстра, Скромный программист (EWD340), «Коммуникации ACM».

Когда Дейкстра женился на Марии «Риа» К. Дебец в 1957 году, в ходе свадебных обрядов от него потребовали указать свою профессию. Он заявил, что является программистом, что было неприемлемо для властей, поскольку такой профессии тогда в Нидерландах не было.

В 1959 году он получил докторскую степень в Амстердамском университете за диссертацию на тему «Связь с автоматическим компьютером». посвящен описанию языка ассемблера , предназначенного для первого коммерческого компьютера, разработанного в Нидерландах, Electrologica X1 . Руководителем его диссертации был Ван Вейнгаарден.

Математический центр, Амстердам

С 1952 по 1962 год Дейкстра работал в Математическом центре Амстердама. где он тесно сотрудничал с Брэмом Яном Лупстрой и Карелом С. Шолтеном , которых наняли для создания компьютера. Их способ взаимодействия был дисциплинированным: сначала они определяли интерфейс между аппаратным и программным обеспечением, написав руководство по программированию. Тогда разработчикам аппаратного обеспечения придется выполнять свою часть контракта, а программисту Дейкстре придется писать программное обеспечение для несуществующей машины. Два урока, которые он извлек из этого опыта, заключались в важности четкой документации и в том, что отладки программы можно в значительной степени избежать за счет тщательного проектирования. Дейкстра сформулировал и решил задачу о кратчайшем пути для демонстрации на официальной презентации компьютера ARMAC в 1956 году. Из-за отсутствия журналов, посвященных автоматическим вычислениям, он не публиковал результат до 1959 года.

В Математическом центре Дейкстра и его коллега Яап Зонневельд разработали первый компилятор для языка программирования АЛГОЛ 60 к августу 1960 года, более чем за год до того, как компилятор был выпущен другой группой. Алгол 60 известен как ключевое достижение в развитии структурного программирования.

Эйндховенский технологический университет

Эйндховенский технологический университет , расположенный в Эйндховене на юге Нидерландов, где Дейкстра был профессором математики с 1962 по 1984 год.

В 1962 году Дейкстра переехал в Эйндховен , а позже в Нюэнен , на юге Нидерландов, где стал профессором математического факультета Эйндховенского технологического университета . В университете не было отдельного факультета информатики, а культура математического факультета его не особо устраивала. Дейкстра попытался создать группу ученых-компьютерщиков, которые могли бы сотрудничать в решении проблем. Это была необычная модель исследования для математического факультета. В конце 1960-х годов он создал операционную систему THE (названную в честь университета, тогда известного как Technische Hogeschool Eindhoven ), которая повлияла на конструкции последующих операционных систем благодаря использованию программной страничной виртуальной памяти.

Корпорация Берроуз

Дейкстра присоединился к корпорации Burroughs — компании, известной тогда производством компьютеров на основе инновационной аппаратной архитектуры — в качестве научного сотрудника в августе 1973 года. В его обязанности входило посещение некоторых исследовательских центров фирмы несколько раз в год и проведение собственных исследований. , что он и сделал в самом маленьком исследовательском центре Берроуза, а именно в своем кабинете на втором этаже своего дома в Нюэнене. Фактически, Дейкстра был единственным научным сотрудником Берроуза и работал в нем из дома, время от времени путешествуя в его филиалы в Соединенных Штатах. В результате он сократил свои встречи в университете до одного дня в неделю. Этот день, вторник, вскоре стал известен как день знаменитого «Вторничного дневного клуба» — семинара, в ходе которого он обсуждал со своими коллегами научные статьи, рассматривая все аспекты: обозначения, организацию, представление, язык, содержание и т. д. Вскоре после его переезда в 1984 году в Техасский университет в Остине (США) в США возник новый «филиал» Клуба вторника после полудня. Остин, Техас .

В годы Берроуза он наиболее плодотворно писал исследовательские статьи. Он написал около 500 документов серии EWD (описанных ниже), большинство из которых представляли собой технические отчеты, для частного распространения внутри избранной группы.

Техасский университет в Остине

Техасский университет в Остине, где Дейкстра возглавлял кафедру компьютерных наук, посвященную столетию компании Schlumberger, с 1984 по 1999 год.

В 1984 году Дейкстра принял кафедру столетия Schlumberger на факультете компьютерных наук Техасского университета в Остине.

Последние годы

Дейкстра работал в Остине до выхода на пенсию в ноябре 1999 года. Чтобы отметить это событие и отметить его сорок с лишним лет плодотворного вклада в информатику , факультет компьютерных наук организовал симпозиум, который состоялся в день его 70-летия в мае 2000 года.

Дейкстра и его жена вернулись из Остина в свой родной дом в Нюэнене, Нидерланды, где он обнаружил, что жить ему осталось всего несколько месяцев. Он сказал, что хочет выйти на пенсию в Остине, штат Техас , но умереть в Нидерландах. Дейкстра умер 6 августа 2002 года после долгой борьбы с раком. У него и его жены остались трое детей: Маркус, Фемке и ученый-компьютерщик Рутгер М. Дейкстра.

Личность

Дейкстра у доски во время конференции в ETH Zurich в 1994 году. Однажды он заметил: « Картинка может стоить тысячи слов , формула стоит тысячи картинок».

Персонаж

Едва ли можно винить Массачусетский технологический институт в том, что он не обратил внимания на малоизвестного ученого-компьютерщика из маленького городка в Нидерландах.

— Дийкстра сказал о себе в Нюэнене в середине 1960-х годов.

В мире информатики Дейкстра хорошо известен как «персонаж». В предисловии к своей книге «Дисциплина программирования» (1976) он заявил следующее: «Из-за отсутствия библиографии я не предлагаю ни объяснений, ни извинений». Фактически, большинство его статей и книг вообще не имеют ссылок. Дийкстра выбрал такой способ работы, чтобы сохранить уверенность в своих силах.

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

Дейкстра также был весьма оригинален в своем подходе к оценке способности людей выполнять свою работу. Когда Владимир Лифшиц приехал в Остин в 1990 году на собеседование, Дейкстра задал ему загадку. Лифшиц решил ее и с тех пор работает в Остине.

Использование технологии

На протяжении многих десятилетий он воздерживался от использования компьютеров в своей работе. Даже после того, как он поддался поддержке коллег из UT и приобрел компьютер Macintosh , он использовал его только для электронной почты и просмотра веб-страниц. Дейкстра никогда не писал свои статьи с помощью компьютера. Он предпочитал полагаться на свою пишущую машинку , а позже на ручку Montblanc . Любимым пишущим инструментом Дейкстры была Montblanc Meisterstück перьевая ручка .

Он не использовал текстовые процессоры , полагая, что можно написать письмо или статью без черновых набросков, переписывания или какого-либо значительного редактирования. Он продумывал все это в уме, прежде чем положить ручку на бумагу, и однажды упомянул, что, когда он был студентом-физиком, он решал в уме домашние задания, гуляя по улицам Лейдена . Большинство публикаций Дейкстры были написаны им единолично. У него никогда не было секретаря, и он в одиночку вел всю свою корреспонденцию. Когда коллеги подготовили Festschrift к его шестидесятилетию , опубликованный Springer-Verlag , он потрудился поблагодарить каждого из 61 автора отдельно в рукописном письме.

В «Скромном программисте» (1972) Дейкстра писал: «Мы не должны забывать, что это не наше дело [ученых-компьютерщиков] создавать программы, а наше дело — разрабатывать классы вычислений, которые будут демонстрировать желаемое поведение».

Дейкстра также выступал против включения разработки программного обеспечения в сферу академической информатики. Он писал, что «поскольку экономика известна как «жалкая наука», разработку программного обеспечения следует называть «обреченной дисциплиной», обреченной, потому что она не может даже приблизиться к своей цели, поскольку ее цель противоречива». И «программная инженерия приняла в качестве своего устава: «Как программировать, если не умеешь»».

Личная жизнь

Дийкстра вел скромный, вплоть до спартанского, образ жизни. Дом его и его жены в Нюэнене был простым, маленьким и скромным. У него не было телевизора, видеоплеера или мобильного телефона, и он не ходил в кино. Он играл на фортепиано и, находясь в Остине, любил ходить на концерты. Увлеченный слушатель классической музыки , любимым композитором Дейкстры был Моцарт .

Эссе и другие письменные работы

На протяжении всей карьеры Дейкстры его работы отличались элегантностью и экономностью. Плодовитый писатель (особенно как эссеист), Дейкстра является автором более 1300 статей, многие из которых написаны от руки его точным почерком. Это были очерки и притчи; сказки и предупреждения; исчерпывающее объяснение и педагогический предлог. Большинство из них были посвящены математике и информатике; другие представляли собой отчеты о поездках, которые больше раскрывают информацию об их авторе, чем о людях и местах, которые они посетили. У него была привычка копировать каждую статью и распространять ее среди небольшой группы коллег, которые копировали и пересылали статьи другой ограниченной группе ученых.

EWD

Дейкстра был хорошо известен своей привычкой тщательно составлять рукописи авторучкой . Рукописи называются EWD, поскольку Дейкстра нумеровал их своими инициалами EWD в качестве префикса. По словам самого Дейкстры, EWD начались, когда он перешел из Математического центра в Амстердаме в Эйндховенский технологический университет (тогда Technische Hogeschool Eindhoven). После переезда в Эйндховен Дейкстра переживал писательский кризис больше года . Он распространил фотокопии нового EWD среди своих коллег. Многие получатели фотокопировали и пересылали свои копии, поэтому EWD распространились по всему международному сообществу информатики. Темами были информатика и математика, включая отчеты о поездках, письма и выступления. Эти короткие статьи охватывают период в 40 лет. Почти все EWD, появившиеся после 1972 года, были написаны от руки. Они редко длиннее 15 страниц и имеют последовательную нумерацию. Последний, № 1318, датирован 14 апреля 2002 года. В компьютерной науке они известны как отчеты EWD или просто EWD. Было отсканировано более 1300 EWD, их число расшифровывается для облегчения поиска, и они доступны в Интернете в архиве Дейкстры Техасского университета.

Стиль письма

Его интерес к простоте возник в раннем возрасте и под руководством матери. Однажды он сказал, что спросил свою мать, является ли тригонометрия сложной темой. Она ответила, что он должен выучить все формулы и что далее, если для доказательства чего-то ему потребуется более пяти строк, то он на неправильном пути.

Дейкстра был известен своим остроумием, красноречием, грубостью, резкостью и часто жестокостью по отношению к коллегам-профессионалам, а также умением обращаться со словами, как, например, в его замечании: «Вопрос о том, могут ли машины думать (…) примерно так же актуален, как и вопрос о том, могут ли машины мыслить (…) Подводные лодки умеют плавать». Его советом перспективному исследователю, спросившему, как выбрать тему для исследования, стала фраза: «Делай только то, что можешь сделать только ты». Дейкстра также был известен своей резкой критикой и отсутствием социальных навыков при общении с коллегами. Будучи откровенным и критически настроенным провидцем, он решительно выступал против преподавания BASIC .

Повторяющиеся темы

Во многих своих наиболее остроумных эссе Дейкстра описывал вымышленную компанию, председателем которой он был. Компания называлась Mathematics, Inc., и, по его мнению, она коммерциализировала производство математических теорем точно так же, как компании-разработчики программного обеспечения коммерциализировали производство компьютерных программ. Он изобрел ряд мероприятий и задач Mathematics Inc. и задокументировал их в нескольких статьях серии EWD. Воображаемая компания представила доказательство гипотезы Римана , но затем столкнулась с большими трудностями при получении гонораров от математиков, доказавших результаты, предполагающие гипотезу Римана. Само доказательство было коммерческой тайной . Многие доказательства компании были срочно выброшены за дверь, и тогда большую часть усилий компании пришлось потратить на их обслуживание . Более успешной попыткой стало Стандартное доказательство теоремы Пифагора , которое заменило более 100 несовместимых существующих доказательств. Дейкстра охарактеризовал Mathematics Inc. как «самый захватывающий и самый несчастный бизнес, который когда-либо задумывался». EWD 443 (1974) описывает его вымышленную компанию как имеющую более 75% доли мирового рынка.

Наследие

Дейкстра получил премию Тьюринга в 1972 году за поддержку структурного программирования — парадигмы программирования, в которой используется структурированный поток управления, а не неструктурированные переходы к различным разделам программы с использованием операторов Goto . Его письмо 1968 года редактору журнала Communications of ACM « Заявление Go To считается вредным » вызвало серьезные споры. Современные программисты в основном придерживаются парадигмы структурного программирования.

Среди его наиболее известных вкладов в информатику — кратчайшего пути алгоритм , известный как алгоритм Дейкстры , который широко преподается в современных курсах бакалавриата по информатике. Среди других его вкладов — алгоритм сортировочной станции ; , мультипрограммная система THE важный ранний пример структурирования системы как набора слоев; Банкира алгоритм ; и конструкция семафора для координации нескольких процессоров и программ. Другая концепция, сформулированная Дейкстрой в области распределенных вычислений, — это концепция самостабилизации — альтернативного способа обеспечения надежности системы. Алгоритм Дейкстры используется в SPF, Shortest Path First , который используется в протоколах маршрутизации OSPF и IS-IS .

Награды и почести

Среди наград и наград Дейкстры:

• Член Королевской Нидерландской академии искусств и наук (1971).
• Почетный член Британского компьютерного общества (1971).
• Ассоциации вычислительной техники ( Премия Тьюринга 1972)
• Премия памяти Гарри Х. Гуда от Компьютерного общества IEEE (1974).
• Иностранный почетный член Американской академии искусств и наук (1975).
• доктор наук Почетный Королевского университета в Белфасте (1976).
• Обладатель грамоты пионера компьютерной техники от Компьютерного общества IEEE (1982).
• Премия ACM/ SIGCSE за выдающийся вклад в образование в области компьютерных наук (1989 г.)
• Член Ассоциации вычислительной техники (1994 г.).
• Почетный доктор Афинского университета экономики и бизнеса , Греция (2001 г.).

В 1969 году Британское компьютерное общество (BCS) получило одобрение на получение награды и стипендии «Выдающийся член Британского компьютерного общества» (DFBCS), присуждаемой в соответствии с постановлением 7 их королевской хартии . В 1971 году были проведены первые выборы Дейкстры.

В 1990 году по случаю 60-летия Дейкстры факультет компьютерных наук (UTCS) Техасского университета в Остине организовал двухдневный семинар в его честь. Выступающие приехали со всех концов США и Европы, а группа ученых-компьютерщиков представила исследовательские статьи, которые были отредактированы в книгу.

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

Незадолго до своей смерти в 2002 году Дейкстра получил премию ACM PODC Influential-Paper Award в области распределенных вычислений за свою работу по самостабилизации программных вычислений. эта ежегодная награда была переименована в Премию Дейкстры ( Edsger W. Dijkstra Prize in Distributed Computing В следующем году в его честь ).

Премия Дейкстры за выдающиеся академические достижения в области компьютерных наук ( Чикагский университет Лойолы , факультет компьютерных наук) названа в честь Эдсгера В. Дейкстры. Начиная с 2005 года, эта награда присуждается за высшие академические достижения выпускников по специальности «Информатика». Отбор основан на среднем балле по всем основным курсам и выборах преподавателей кафедры.

12 октября 2010 года факультет компьютерных наук (UTCS) Техасского университета в Остине провел первую лекцию памяти Эдсгера В. Дейкстры. Спикером на мероприятии выступил Тони Хоар , почетный профессор Оксфорда и главный научный сотрудник Microsoft Research. Эта серия лекций стала возможной благодаря щедрому гранту компании Schlumberger в честь памяти Дейкстры.

Избранные публикации

Книги

• — (1962). Учебник по программированию на АЛГОЛ 60: вместе с отчетом об алгоритмическом языке АЛГОЛ 60 . Академическая пресса. ISBN  978-0122162503 .
• —; Даль, Оле-Йохан ; Хоар, ЦАР (1972). Структурное программирование . Академическая пресса . ISBN  978-0-12-200550-3 .
• — (1976). Дисциплина программирования . Прентис Холл. ISBN  978-0132158718 .
• — (1982). Избранные сочинения о вычислительной технике: личный взгляд . Монографии по информатике. Спрингер. ISBN  978-0387906522 .
• —; Фейен, WHJ; Стерринга, Шутка (1988). Метод программирования . Эддисон Уэсли. ISBN  978-0201175363 .
• —; Схолтен, Карел С. (1990). Исчисление предикатов и семантика программ . Тексты и монографии по информатике. Спрингер-Верлаг. ISBN  978-0387969572 .

Избранные статьи

• — (1959). «Заметка о двух проблемах, связанных с графами» (PDF) . Нумерическая математика . 23 (3): 269–271. CiteSeerX   10.1.1.165.7577 . дои : 10.1007/BF01386390 . S2CID   123284777 .
• — (1962). «Некоторые размышления о продвинутом программировании». Учеб. Конгресс ИФИП . Амстердам: Северная Голландия. стр. 535–8.
• — (1965). Взаимодействующие последовательные процессы (Технический отчет). Эйндховенский технологический университет. EWD-123 . Проверено 20 сентября 2020 г. Перепечатано в Женюис, Ф., изд. (1968). Языки программирования: Летняя школа НАТО продвинутого уровня, проходившая в Виллар-де-Лан в 1966 году . Академическая пресса. стр. 43–112. OCLC   499952053 . Опубликовано как Дейкстра, EW (1968). «Сотрудничающие последовательные процессы». Ин Хансен, ПБ (ред.). Происхождение параллельного программирования . Нью-Йорк: Спрингер. стр. 65–138. дои : 10.1007/978-1-4757-3472-0_2 . ISBN  978-1-4419-2986-0 .
• — (1965). «Решение задачи управления параллельным программированием» . Комм. АКМ . 8 (9): 569. дои : 10.1145/365559.365617 . S2CID   19357737 .
• — (1965). «Программирование как человеческая деятельность». Учеб. Конгресс ИФИП . стр. 213–7.
• — (1968). «Перейти к заявлению, которое считается вредным» . Письма в редакцию. Комм. АКМ . 11 (3): 147–8. дои : 10.1145/362929.362947 . S2CID   17469809 .
• — (1968). «Конструктивный подход к проблеме корректности программ». БИТ Численная математика . 8 (3): 174–186. дои : 10.1007/bf01933419 . S2CID   62224342 .
• - (май 1968 г.). «Структура «THE»-мультипрограммной системы» . ACM симп. по операционным системам. Комм. АКМ . 11 (5): 341–346. дои : 10.1145/363095.363143 . S2CID   2021311 .
• - (апрель 1970 г.). Заметки по структурированному программированию (PDF) (Отчет). 70-WSK-03 - из архива EW Dijkstra. Центр американской истории Техасского университета в Остине.
• — (1971). Краткое введение в искусство компьютерного программирования . Эйндховен: Технический университет. ОСЛК   3474242 . EWD316.
• — (1971). «Иерархическое упорядочение последовательных процессов». Акта Информ . 1 (2): 115–138. дои : 10.1007/bf00289519 . S2CID   31573213 .
• — (1972). «Скромный программист» . Комм. АКМ . 15 (10): 859–866. дои : 10.1145/355604.361591 .
• - (июнь – июль 1974 г.). «Программирование как дисциплина математического характера». Американский математический ежемесячник . 81 (6): 608–612. дои : 10.2307/2319209 . JSTOR   2319209 .
• — (1974). «О роли научной мысли». Архив Э. У. Дейкстры, Центр американской истории, Техасский университет в Остине . EWD447.
• — (1974). «Самостабилизирующиеся системы несмотря на распределенное управление» . Комм. АКМ . 17 (11): 643–4. дои : 10.1145/361179.361202 . S2CID   11101426 .
• — (1975). «Как нам говорить правду, которая может ранить?». Избранные сочинения о вычислительной технике: личный взгляд . Монографии по информатике. Спрингер (опубликовано в 1982 г.). стр. 129–131. ISBN  978-0387906522 .
• — (1975). «Мастер или учёный». АСМ Пасифик, 1975 год . стр. 217–223.
• — (1975). «Об обучении программированию, т.е. об обучении мышлению». Языковые иерархии и интерфейсы . 1975 : 1–10.
• — (1977). «Программирование: от ремесла к научной дисциплине». Международный компьютерный симпозиум . 1977 : 23–30.
• — (1978). «О взаимодействии математики и программирования» . Программа «Строительство» . Конспекты лекций по информатике. Том. 69. стр. 35–46. дои : 10.1007/BFb0014649 . ISBN  978-3-540-09251-3 . S2CID   26233314 .
• — (1975). «Обеспокоенность правильностью и, среди прочего, почему на них возмущаются». (ACM) Материалы Международной конференции по надежному программному обеспечению. 21–23 апреля 1975 г., Лос-Анджелес, Калифорния, США : 546–550.
• — (1975). «Защищенные команды, неопределенность и формальный вывод программ» . Комм. АКМ . 18 (8): 453–7. дои : 10.1145/360933.360975 . S2CID   1679242 .
• — (1978). «Нахождение доказательства корректности параллельной программы». Программа «Строительство» . 1978 : 24–34.
• — (1984). «Угрозы информатике». Архив Э. У. Дейкстры, Центр американской истории, Техасский университет в Остине . EWD898.
• — (1986). «О культурном разрыве». Математический интеллект . 8 (1): 48–52. дои : 10.1007/BF03023921 . S2CID   120847834 .
• — (1987). «Математики и компьютерщики: культурный разрыв». Абак . 4 (4): 26–31.
• — (1989). «О жестокости преподавания информатики» . Дискуссия о преподавании информатики. Комм. АКМ . 32 (12): 1398–1404. дои : 10.1145/76380.76381 . S2CID   16961489 .
• — (1999). «Информатика: достижения и проблемы» . Обзор прикладных вычислений ACM SIGAPP . 7 (2): 2–9. дои : 10.1145/335527.335528 . S2CID   34430415 .
• — (2001). «Конец информатики?». Комм. АКМ . 44 (3): 92. дои : 10.1145/365181.365217 . S2CID   31142279 .
• — (2001). «Что привело к созданию заметок по структурному программированию ». Архив Э. У. Дейкстры, Центр американской истории, Техасский университет в Остине .

См. также

• Перейти к заявлению, которое считается вредным
• О жестокости преподавания информатики
• Список пионеров информатики

Цитаты

• Истраил, Сорин (осень – зима 2008 г.). «Рассказы о маяках: критика профессора Дейкстры считается безобидной » (PDF) . Проводник . Том. 17, нет. 2. Факультет компьютерных наук Университета Брауна. стр. 10–17.

Внешние ссылки

• «Архив Э.В. Дейкстры» . Центр американской истории Техасского университета в Остине .
• «Сплоченный клич Дейкстры к обобщению» . Сайт, посвященный работам и мыслям Дейкстры, созданный и поддерживаемый историком вычислительной техники Эдгаром Грэмом Дэйлайтом.