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

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

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

Просьба объяснить, что такое HIPO-диаграмма.

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

с предложением присоединиться к прощальному вечеру. Здесь же ответ: с извинениями, отрицательный.

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

с пожеланием услышать в выступлениях гостей больше конкретной информации.

с вопросом о перспективах развития микропрограммирования.

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

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

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

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

с вопросом о правомерности сравнения работы программиста по проектированию программы с "аппаратной" техникой.

с вопросом об интересе к реляционным базам данных.

с вопросом, относящимся к доказательству корректности программ.

к председателю с просьбой писать фамилии гостей по-английски и по-русски.

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

с вопросом - "Так что же такое надежность программного обеспечения".

с вопросом по характеристикам языка для написания Простых Программ.