Документы, связанные с Энн Харальдович Тыугу

Телеграмма, И.В. Поттосин->А.П. Ершов, 07.10.1984
Автор просит поменять местами в программе конференции свой доклад и доклад Тыугу, иначе последний не сможет провести в Новосибирске заседание Рабочих групп.
Программа
одного из заседаний. /Текст рукописный./
Проект письма, А. А. Дородницын->О. Р. Терно, 12.04.1971(?)
о представлении документов для поездки Э.Х. Тыугу на Конгресс ИФИП.
План
проведения мероприятий РГ АСПП на 1983 год.
Рабочие записи, 19.11.1984
в процессе заседаний на конференции.
Отчет рецензента, 15.05.1985
на статью "Semantics of a Declarative Language".
Отзыв, 11.02.1973
о работе Э.Х. Тыугу "Применение вычислительных моделей в математическом обеспечении машинного проектирования", представленной на соискание ученой степени доктора технических наук.
Письмо, М. Нива->А.П. Ершов, 13.01.1981
Сообщает, что получил статью о смешанных вычислениях и что она скоро будет опубликована в журнале Theoretical Computer Science. Поздравляет с Новым годом и спрашивает, нет ли возможности организовать что-то для возобновления франко-советского сотрудничества в области программирования. /Текст рукописный./
Семинар БЕТА/С-04, 24.09.1970
Продолжалось активное обсуждение предложения о внутреннем языке БЕТА-транслятора.
Приказ, 09.07.1981
"О проведении всесоюзной научной конференции "Синтез, тестирование, верификация и отладка программ" (сентябрь 1981 года; Рига) и Приложение (состав оргкомитета) к нему.
Статья, 22.03.1985
"Semantics of a Declarative Language".
Список (проект), 10.09.1979
членов программного комитета конференции.
Статья, 05.12.1986
"100 строк ученого секретаря ИК АН Эстонской ССР к.т.н. Мати Кутсера". Напечатана в газете "Вечерний Таллин".
Информация
о состоянии подготовки всесоюзной конференции "Автоматизация производства пакетов прикладных программ и трансляторов".
Отчет
о деятельности РГ АСПП за 1983 год.
Письмо, В. П. Кочергин->Г. И. Марчук..., 12.04.1971(?)
с просьбой разрешить представление на Конгресс ИФИП доклада Э.Х. Тыугу.
Письмо, Э. Тыугу->А.П. Ершов, 20.10.1984
Сообщает программу 13-го заседания.
План
проведения мероприятий РГ АСПП на 1984 год.
Заседание Г
Дж. Кок "Глобальная экономия совпадающих выражений"; Романовская Л.М, Столяров Г.К., Федоров А.Т., Фельдман Л.С. "Система автоматизации программирования на базе минимального согласованного КОБОЛа"; Шкут Н.В. "Вопросы оптимизации рабочих программ в трансляторах ТАМ-22Т и ТАМ-32"; Тинн К.А., Тыугу Э.Х., Унт М.И. "Система модульного программирования для ЦВМ Минск-22"; Шураков В.В., Морозов В.П. "Система автоматизации программирования задач обработки данных для ЭВМ Минск-22"; Красник Л.И., Неменман М.Е.,Цегельский В.И. "Основные положения системы программирования машины Минск-32"; Асцатуров P.M., Чернецкий Л.В., Мальцев Н.А., Марголин М.С. "Система автоматизации микропрограммирования"; Максимей И.В. "Программное обеспечение для проведения статистического анализа динамики работы регистров и устройств машины М-220 при решении задач"
Черновик письма, А.П. Ершов->Э. Тыугу, 09.08.1985
Просит выслать недостающие материалы и перепечатанную статью.

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


Назад

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