"Дейкстра Эдсгер Вейбе (биобиблиографический материал)". /Текст рукописный./

"Дейкстра Эдсгер Вейбе (биобиблиографический материал)". /Текст машинописный./

"Дейкстра Эдсгер Вейбе (биобиблиографический материал)".

"Эдсгер Вейбе Дейкстра" (биобиблиографический материал), подготовленный А.П. Ершовым. Издание брошюры приурочено к 50-летию со дня рождения профессора Дейкстры. /Издана в ВЦ СО АН СССР тиражем 150 экземпляров./

из официального протокола РГ 2.1, содержащая текст особого мнения по Алголу 68. (Приложение № 2 к протоколу 10-го заседания ТК-2.)

о статье С.П. Кашубина "Логика алгоритмов IKS".

с вопросом по составу базисных операторов.

с просьбой хотя бы кратко рассказать о методах доказательства правильности программ, а также пояснить причину своего негативного отношения к языку PL/I.

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

с вопросом о дальнейшей судьбе Фортрана.

с вопросом о планах выступления в МГУ.

Просит сообщить свое адресата относительно "нечетких программ" и возможности их реализации.

с вопросом: существуют ли и на каких машинах трансляторы с АЛГОЛа-68?

с вопросом к гостям об их представлении о программировании в 2000 году.

с вопросом о задачах, рассматриваемых в литературе по методологии программирования.

с вопросом о процедуре отладки верифицированной программы.

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

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

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

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