Документы, связанные с Энтони Хоар

Сопроводительное письмо, А.П. Ершов->И. И. Недлин, 18.06.1976
к проекту программы приема гостей АН СССР профессоров Э. Дейкстры и Э. Хоара, приглашенных вице-президентом АН СССР академиком Г.И. Марчуком сроком на две недели в сентябре 1976 года.
Письмо, А. А. Дородницын->Г. К. Скрябин...
Просьба пригласить в Советский Союз в качестве гостей Академии наук СССР двух ведущих ученых в области программирования профессора Эдсгера Дейкстру (Нидерланды) и профессора Энтони Хоара (Великобритания) в удобное для них время (ориентировочно, осень 1976 г.) сроком на две недели. В приложении: 1) краткая справка о профессорах Э. Дейкстре и Э. Хоаре; 2) аучная характеристика проф. Э. Дейкстры; 3) научная характеристика проф. Э. Хоара.
Записка, автор не установлен->Э. В. Дейкстра, 13.09.1976
с вопросом о перспективности направления, развиваемого фирмой Барроуз.
Протокол заседания (неформальный), 28.01.1975
рабочей группы 2.3 ИФИП. Мюнхен, 9-13 декабря 1974.
Письмо, А.П. Ершов->Э. Хоар, 17.01.1983
Формальное приглашение от имени Программного комитета ИФИП-83 принять участие в работе Конгресса и в панельной дискуссии.
Предложения, 20.03.1975
отделения информатики по приглашению зарубежных ученых по линии НГУ.
Письмо, Э. Хоар->А.П. Ершов, 02.03.1981
Благодарит за присланный биографический очерк об Э. Дейкстре, написанный адресатом. Автор приложил свой перевод очерка на английский язык и просит проверить, насколько он точен.
Записка, автор не установлен->Э. Хоар, 13.09.1976
с вопросом о правомерности сравнения работы программиста по проектированию программы с "аппаратной" техникой.
Календарная программа
пребывания в СССР профессоров Э. Дейкстры и Э. Хоара.
Письмо, Э. Хоар->А.П. Ершов, 14.07.1976
Обсуждаются вопросы, связанные с поездкой в СССР.
Письмо, А.П. Ершов->Э. Хоар, 23.01.1984
Автор сообщает, что не сможет принять участие в дискуссии по приглашению Королевского общества, так как планирует проведение совместно с ИФИП Второй международной конференции в Ургенче. Просит прислать материалы дискуссии.
Письмо, 09.09.1974
Описание процедуры отбора статей на конференцию по надежности программного обеспечения (по хронологии и персоналиям).
Письмо, Э. В. Дейкстра->А.П. Ершов..., 06.08.1984
Приглашение на банкет для лекторов.
Письмо, И. В. Клокачев->А.П. Ершов, 22.07.1976
В ответ на письмо адресата с извещением о предполагаемом приезде профессоров Э. Дейкстры и Э. Хоара - автор выражает полную готовность принять участие в подготовке и реализации приема гостей в Ленинграде, но хотел бы уточнить свою роль в обеспечении приема.
Проект программы
пребывания профессоров Э. Дейкстры и Э. Хоара в СССР в качестве гостей Академии наук СССР.
Записка, автор не установлен->Э. Хоар, 13.09.1976
с вопросом об интересе к реляционным базам данных.
Письмо, А.П. Ершов->М. Р. Шура-Бура, 13.04.1966
Посылает оповещение о Летней школе НАТО, полученное от Ф. Женюи. Говорит, что решение вопроса об участии в руках А.А. Дородницына. Упоминает об отмене заседания ИФИП/РГ2.1 в Варшаве.
Письмо, ван Влит->А.П. Ершов, 17.02.1981
Сообщает об отборочном заседании в Математическом Центре 15 мая; о заседании ИФИП/РГ2.1 в Неймегене 11-14 мая; о "маленьком" симпозиуме "Текущие тенденции методологии программирования" 16 мая.
Письмо, Г. Р. Громов->А.П. Ершов, 29.10.1984
Автор посылает А.П. Ершову свой рабочий экземпляр перевода статьи Э. Хоара и просит его вернуть, как только из редакции вышлют копию. Посылает также свои комментарии к этой статье. Аналогичный "отлуп" автор дал и В.В. Крылову на его статью "Наука о программах ...". Предлагает провести диспут на затронутые темы в № 1 журнала за 1985 год.
Заметка, 05.11.1984
"Программирование как точная наука". В ней - комментарий к статье Э. Хоара, опубликованной в журнале "Микропроцессорные средства и системы".

1 2 3 4 5 6 7 8 9 10 11 12
По порядку | По алфавиту | По дате


Назад

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016