с вопросом о перспективах вычислительных систем с аппаратной интерпретацией языков высокого уровня.

В соответствии с программой приема профессоров Э. Хоара и Э. Дейкстры просьба назначить ответственного по приему от Ленинградского отделения Математического института АН СССР, организации, принимающей гостей в Ленинграде. Сообщается дата прибытия.

"Edsger Wybe Dijkstra". /Перевод Э. Хоара написанного А.П. Ершовым текста с русского языка на английским./

Э. Дейкстры "Как мы говорим правду, которая может повредить?" в ACM SIGPLAN Notices, Vol. 19., No. 5, 1982.

Э. Дейкстра согласен участвовать в рецензировании докладов на Конгресс и прилагает заполненный бланк. Приехать лично на Конгрессе он не сможет.

извещающее о публикации отчета EWD 196; об Алголе 68; о методе программирования, состоящем в написании доказуемо правильных программ

В соответствии с программой приема профессоров Э. Хоара и Э. Дейкстры просьба назначить ответственного по приему от Вычислительного центра АН СССР, который является организацией, принимающей гостей в Москве. Сроки пребывания гостей в Москве.

Спрашивает, как решается проблема комбинирования спецификаций, конструирования и реализации программ.

с трактовкой понятия "автоматизация программирования", вытекающей из выступления докладчика.

с вопросом о применимости методов доказательства завершаемости программы для решения теоремы Ферма.

с вопросом о перспективности направления, развиваемого фирмой Барроуз.

Просьба пригласить в Советский Союз в качестве гостей Академии наук СССР двух ведущих ученых в области программирования профессора Эдсгера Дейкстру (Нидерланды) и профессора Энтони Хоара (Великобритания) в удобное для них время (ориентировочно, осень 1976 г.) сроком на две недели. В приложении: 1) краткая справка о профессорах Э. Дейкстре и Э. Хоаре; 2) аучная характеристика проф. Э. Дейкстры; 3) научная характеристика проф. Э. Хоара.

к проекту программы приема гостей АН СССР профессоров Э. Дейкстры и Э. Хоара, приглашенных вице-президентом АН СССР академиком Г.И. Марчуком сроком на две недели в сентябре 1976 года.

Сообщает о планируемом симпозиуме и приглашает принять в нем участие.

на статью С.А. Абрамова "О вычислении предусловий программ" /для Ж. вычисл. матем. и матем. физ./

рабочей группы 2.3 ИФИП. Мюнхен, 9-13 декабря 1974.

Автор спрашивает, как продвигается работа над рукописью "Три урока по Алголу", и просит помочь в получении информации для издания рукописи Э. Дейкстры и Р. Фейена.

Благодарит за присланный биографический очерк об Э. Дейкстре, написанный адресатом. Автор приложил свой перевод очерка на английский язык и просит проверить, насколько он точен.

пребывания в СССР профессоров Э. Дейкстры и Э. Хоара.

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