|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Род М. Берсталл Письмо, А.П. Ершов->Ф. Самнер, 15.01.1980 Отчет по подготовке к Конгрессу
ИФИП-80.
Предисловие, 01.08.1977(?)к книге "Программирование корректных структурированных программ" С.А. Алагича и М.А. Арбиба, в котором авторы излагают поставленную перед собой цель.
Статья"An informal introduction to specifications using Clear". Авторы - R.M.Burstall, J.A.Goguen.
Письмо, А.П. Ершов->Р. М. Берсталл, 25.01.1980Благодарит за содержательные замечания к докладу Э.Х. Тыугу для Конгресса ИФИП-80.
Телеграмма, А.П. Ершов->Р. М. Берсталл, 03.05.1979Просит адресата неформально связаться с Дж. Дарлингтоном и попытаться уговорить его приехать на Ургенчский симпозиум. /Текст рукописный. Приложен перевод телеграммы на русский язык./
Телеграмма, А.П. Ершов->Р. М. Берсталл, 03.05.1979Просьба неформально связаться и уговорить Дж. Дарлингтона приехать на Ургенчский симпозиум.
Статья, 27.11.1987"Making Programs More Readable". Авторы - J.L.Weiner, R.M.Burstall.
Письмо, А.П. Ершов->Р. М. Берсталл, 02.05.1973Благодарит за письмо и статью. Посылает несколько своих последних публикаций. Сожалеет, что не удалось обеспечить участие З. Манны в конференции. Надеется, что это была скорее техническая ошибка, чем результат политики или личного решения.
Черновик письма, А.П. Ершов->Р. М. Берсталл, 19.11.1979Программный комитет просит рецензента доклада Э. Тыугу помочь автору обеспечить высокое качество стиля и содержания доклада.
Ответ на 2-е извещение, Р. М. Берсталл->А.П. Ершов, 20.03.1979Сообщает, что он приедет на симпозиум в Ургенч, если найдет финансовую поддержку.
Сопроводительное письмо, А.П. Ершов->Р. М. Берсталл, 04.12.1979к новой версии приглашенного доклада Э. Тыугу.
Письмо с приложением, Р. Т. Йе->В. М. Турский, 04.03.1975о компенсации дорожных расходов для участников конференции. Приложен дорожный ваучер.
Письмо, А.П. Ершов->Г. К. Скрябин, 19.04.1979Просит рассмотреть возможность приглашения на симпозиум Р.М. Берсталла, С. Клини, М.С. Патерсона, К. Замельзона и Ф. Штрассена в качестве гостей АН СССР; в приложении: обоснование, научные характеристики и программа приема.
Письмо, Р. Э. Брукер->К. Дж. Шоу, 12.10.1967Ответ на письмо от 15 сентября задержан из-за переезда автора из Манчестера в Эссекс. Сообщает результаты переговоров с потенциальными авторами, интересуется решением по поводу статьи Кулуриса, называет кандидатов в редакторы от Западной Европы.
Письмо, Р. М. Берсталл->А.П. Ершов, 15.01.1980с оценкой доклада Э. Тыугу.
Приветственная карточка, Р. М. Берсталл->А.П. Ершов, 26.10.1976Письмо, А.П. Ершов->С. Лавингтон, 01.02.1980 о задержках с рецензированием докладов.
Письмо, Э. Тыугу->А.П. Ершов, 30.01.1980Автор обсуждает критические замечания по своему докладу.
Письмо, А.П. Ершов->П. А. Варес, 09.07.1979о полученном решении принять некоторых зарубежных участников (всего 4-5 человек) в качестве гостей АН СССР; просьба разрешить направить приглашение вместо Р. Берсталла Дж. Дарлингтону, обоснование, научная характеристика и программа пребывания которого прилагаются.
Письмо, А.П. Ершов->Р. М. Берсталл, 19.11.1979От имени программного комитета автор обращается к адресату, как к доброжелательному читателю, с просьбой помочь обеспечить высокое качество стиля и содержания доклада Э.Х. Тыугу, снабдив доклад развернутыми комментариями после внимательного прочтения.
1 2 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
