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

  • План -> А.П. Ершов
    выступлений с докладами и лекциями профессоров Э. Дейкстры и Э. Хоара во время их пребывания в СССР.
  • Рабочие материалы
    Документы, использованные А.П. Ершовым при написании письма-рекомендации на Ч.А. Хоара.
  • Записка А.П. Ершов
    об отправке работы Э. Хоару.
  • Письмо А.С. Алексеев
    Ходатайство перед Президиумом СО АН о включении в план зарубежных научно-технических связей научной командировки А.П. Ершова в ФРГ на 2 недели в июле-августе 1984 г. в качестве лектора и участника. Обоснование прилагается.
  • Краткая научная биография
    Э. Хоара, написанная А.П. Ершовым. /Текст рукописный./
  • Список рассылки
    Список ученых с указанием места работы и рабочего адреса
  • Письмо А.А. Дородницын -> Г.К. Скрябин
    Просьба пригласить в Советский Союз в качестве гостей Академии наук СССР двух ведущих ученых в области программирования профессора Эдсгера Дейкстру (Нидерланды) и профессора Энтони Хоара (Великобритания) в удобное для них время (ориентировочно, осень 1976 г.) сроком на две недели. В приложении: 1) краткая справка о профессорах Э. Дейкстре и Э. Хоаре; 2) аучная характеристика проф. Э. Дейкстры; 3) научная характеристика проф. Э. Хоара.
  • Статья А.П. Ершов
    "Edsger Wybe Dijkstra". /Перевод Э. Хоара написанного А.П. Ершовым текста с русского языка на английским./
  • Список
    присутствовавших на семинаре в Новосибирске.
  • Календарная программа А.П. Ершов
    пребывания в СССР профессоров Э. Дейкстры и Э. Хоара.
  • Проект программы А.П. Ершов
    пребывания профессоров Э. Дейкстры и Э. Хоара в СССР в качестве гостей Академии наук СССР.
  • Бюллетень № 12
    Выступление Ч.А.Р. Хоара "Старый наряд короля"; статья о законе Гроша и др.
  • Письмо А.П. Ершов
    в ОИВТА АН СССР с рекомендацией Ч.А. Хоара для избрания в качестве иностранного члена АН СССР
  • Письмо Д. Маккарти -> А.П. Ершов 05.11.1965
    Сожалеет, что адресату не удалось приехать в Гренобль на заседание Рабочей группы; надеется, что коллеги сделали все возможное, чтобы адресат смог участвовать в следующем заседании, в Варшаве. Советуется относительно возможных сроков приезда в Новосибирск.
  • Сопроводительное письмо Э. Хоар -> А.П. Ершов 08.02.1966
    к присланной статье.
  • Письмо А.П. Ершов -> М.Р. Шура-Бура 13.04.1966
    Посылает оповещение о Летней школе НАТО, полученное от Ф. Женюи. Говорит, что решение вопроса об участии в руках А.А. Дородницына. Упоминает об отмене заседания ИФИП/РГ2.1 в Варшаве.
  • Письмо-отчет Э. Хоар 22.04.1966
    членам РГ 2.1 о заседании подкомитета по АЛГОЛу 66 в Котвейке (приложение А к протоколу 7-го заседания ТК-2).
  • Письмо Э. Хоар -> А.П. Ершов 25.10.1967
    Интересуется, есть ли перевод на английский язык книги об АЛЬФА-системе и проводились ли исследования по сравнению машинного кода при ручном программировании и кода, полученного АЛЬФА-транслятором.
  • Письмо Э. Хоар -> А.П. Ершов 27.11.1967
    Благодарит за письмо от 17 ноября; проявляет интерес к результатам последних работ. Надеется инициировать подобные исследования в своей компании.
  • Копия письма Э. Хоар -> В. ван дер Пул 11.12.1967
    Решительно поддерживает предложение М. Вуджера, Ф. Дункана и П. Лэндина, выраженное в письме от 22 ноября, по поводу сроков заседания Рабочей группы 2.1.
  • Копия письма Э. Хоар -> В. ван дер Пул 14.12.1967
    Обсуждаются организационные вопросы, касающиеся дополнительного заседания РГ2.1 для обсуждения отчета по АЛГОЛу Х.
  • Копия письма Б. Рэнделл -> В. ван дер Пул 03.01.1968
    Высказывает свое мнение относительно заседаний Рабочей группы по АЛГОЛу.
  • Письмо К. Замельзон -> Членам ИФИП/РГ 2.1 14.02.1968
    В связи с большим количеством комментариев к разосланному отчету по АЛГОЛу 68, авторы предлагают создать подкомитеты, которые разбирались бы с предложениями по отдельным частям языка и смогли бы подготовить все до заседания в Глазго.
  • Сопроводительное письмо Э. Хоар -> Членам ИФИП/РГ 2.1 22.02.1968
    к сравнительным стандартам АЛГОЛа 60 и ПЛ/I.
  • Письмо П. Наур -> Членам ИФИП/РГ 2.1 11.03.1968
    Сообщает о своем отказе работать в ИФИП/РГ2.1, объясняет причины.
  • Письмо Э. Хоар -> Членам ИФИП/РГ 2.1 24.06.1968
    Посылает статью, описывающую метод определения семантики в языках программирования, которая может быть использована при подготовке отчета по АЛГОЛу 68.
  • Журнал 01.07.1968
    "Newsletter", специальный выпуск за июль 1968 г.
  • Письмо с приложением Э. Хоар -> Членам ИФИП/РГ 2.1 22.08.1968
    К письму приложены два экземпляра рекомендаций автора по поводу отчета по АЛГОЛу 68. Он просит тех членов Рабочей группы, кто поддерживает его негативное отношение к отчету, вернуть с подписью второй экземпляр.
  • Письмо С.С. Лавров 12.09.1968
    С.С. Лавров высказывает своё мнение относительно проекта универсального алгоритмического языка, который предполагается принять или отвергнуть на очередной встрече. (Рукописный черновик и машинописный вариант).
  • Письмо Э. Хоар -> Членам ИФИП/РГ 2.1 04.12.1968
    Автор сообщает об ошибках, найденных во второй части статьи, и посылает взамен правильный текст.
  • Письмо А.П. Ершов 10.12.1968
    содержащее шуточную песенку, посвященную Э. Хоару по случаю избрания его профессором Королевского университета в Белфасте. /Текст рукописный./
  • Особое мнение Э. Хоар 17.01.1969
    по Алголу 68. Проект и окончательный текст.
  • Письмо Г.С. Цейтин -> С.С. Лавров 23.01.1969
    Обсуждение научных вопросов: о различных типах языков; о расширяемости языков; о тенденциях развития алгоритмических языков; предложения об изменениях в Алголе-68
  • Выдержка Э. Хоар 25.01.1969
    из официального протокола РГ 2.1, содержащая текст особого мнения по Алголу 68. (Приложение № 2 к протоколу 10-го заседания ТК-2.)
  • Письмо Э. Хоар -> А.П. Ершов 07.02.1969
    По просьбе доктора Э. Хоара, доктор Х. Земанек посылает его рекомендации к отчету об АЛГОЛе 68, а также тексты высказываний других ученых.
  • Впечатления о конференции Е. Дейкстры Э. Дейкстра 20.03.1970
    Автор резюмирует свои впечатления от конференции в Капенгагене.
  • Отчёт о командировке в Англию С.С. Лавров 10.04.1970
    С.С. Лавров участвовал в заседании Рабочей группы 2.3 ИФИП.
  • Статья Э. Хоар 25.06.1970
    Ч.Э.Р. Хоара "Язык SDL" (Diary Note 25 July 1970. System Descriptive Language), полученная С.С. Лавровым на Семинаре в Яблонне
  • Письмо Ф. Бауэр -> С.С. Лавров 09.11.1970
    от лица организационного комитета нового журнала Acta Informatica автор сообщает подробности о журнале: тематику, список поддержавших начинание ученых, принципы отбора статей и т.п.
  • Приглашение для участия в собрании Группы в Белфасте Э. Хоар -> С.С. Лавров 07.05.1971
  • Постановление М.А. Лаврентьев 07.01.1972
    Президиума СО АН СССР "О проведении Симпозиума по теории программирования" (7-11 августа 1972 г., Новосибирский Академгородок) и Приложения № 1 (Программа), № 2 (список ученых из соц. стран) и № 3 (список ученых из кап. стран) к нему.
  • Письмо В. Маккимэн -> А.П. Ершов 16.04.1973
    Сообщает об очередном летнем шоу в г. Санта Круз, об интересной программе и конкретных выступлениях. /От руки приписка - спрашивает о своем студенте./

Страницы

Назад