Перейти к основному содержанию
  • документы
  • об архиве
  • о проекте
  • А.П. Ершов
  • in English

Документы, связанные с Сергей Борисович Покровский

  • Служебная записка 20.03.1973
    Р-005 "Перечень работ, генерирующих выполнение сетевого графика пробной реализации".
  • Служебная записка 02.04.1973
    Р-006 "Сетевой график пробной реализации (первое приближение)".
  • Письмо А.П. Ершов -> Н. Вирт 02.05.1973
    Благодарит за высланные материалы по языку Паскаль. Рассказывает о работах по системе БЕТА, в которой в качестве начального языка для пробной реализации используется именно Паскаль. Обещает информировать о результатах и говорит, что будет рад получить другие публикации группы адресата. /Приложен черновик русского текста./
  • Служебная записка С.Б. Покровский -> Г.И. Марчук 20.11.1973
    В ответ на служебную записку М. Шварцмана - четыре замечания по существу вопроса и выражение твердой уверенности в том, что с трудностями, возникающими в ходе работы над проектом БЕТА, коллектив справится.
  • БЕТА/М-53 С.Б. Покровский 05.01.1974
    "Внутренний язык Пробной реализации (почти что спецификация)".
  • Телеграмма А.П. Ершов -> Л.Д. Райков 31.01.1974
    От ВЦ СО АН в защите технического проекта примут участие А.А. Берс и В.Н. Касьянов; просьба забронировать для них гостиницу.
  • Материал БЕТА/М-42 С.Б. Покровский 02.04.1974
    "Проспект апрельского выпуска Внутреннего языка".
  • Черновик доклада С.Б. Покровский 01.07.1974
    "Внутренний язык в многоязыковой системе программирования как средство формализации семантики входных языков", представленного на конференцию "Формализация семантики языков программирования и конструкция компиляторов" (ГДР, Франкфурт-на-Одере, 22-28.09.1974). /Текст рукописный./
  • Доклад С.Б. Покровский 01.07.1974
    "Методы декомпозиции, синтеза и оптимизации в многоязыковой системе программирования", представленного на конференцию (ГДР, Франкфурт-на-Одере, 22-28.09.1974). /Смесь рукописного и машинописного текстов, черновики./
  • Окончательный текст доклада С.Б. Покровский 29.07.1974
    "Внутренний язык в многоязыковой системе программирования как средство формализации семантики входных языков", представленного на конференцию (ГДР, Франкфурт-на-Одере, 22-28.09.1974).
  • Записи (рукописные) А.П. Ершов 19.08.1974
    Подготовка к лекциям по системе БЕТА в Лунде. /Последняя страница не из Лунда, так как датирована 24.09.1974 и называется "Устное сообщение по внутреннему языку"./
  • Статья С.Б. Покровский 14.09.1974
    "Метапроцессоры для универсального программирующего процессора". /Смесь рукописных и машинописных текстов./
  • Рабочие записи А.П. Ершов 23.09.1974
    Наброски выступления, черновики доклада.
  • План расселения И.В. Поттосин 24.09.1974
    по комнатам сотрудников лабораторий А.П. Ершова и И.В. Поттосина.
  • Список С.Б. Покровский 24.10.1974
    сотрудников отделения информатики, представляемых к награждению грамотами в честь 250-летия АН СССР. /Черновики и окончательный список./
  • Статья С.Б. Покровский 26.10.1974
    "Прокрустово ложе" для входных языков в многоязыковой системе программирования". /Текст рукописный, черновой./
  • Подготовительные бумаги С.Б. Покровский 28.10.1974
    от В.В. Грушецкого и С.Б. Покровского для написания их общей с А.П. Ершовым статьи "Прокрустово ложе".
  • Письмо с приложением Г.Г. Степанов -> В. Иссель 29.11.1974
    Автор посылает несколько резюме статей, прочитанных на конференции во Франкфурте-на-Одере.
  • Программа 10.12.1974
    заседаний симпозиума "Системное и теоретическое программирование" 10, 11 и 12 декабря 1974 года.
  • БЕТА/М-54 С.Б. Покровский 15.01.1975
    Окончание "Почти что спецификации Внутреннего языка Пробной реализации".
  • Сопроводительное письмо А.П. Ершов -> Я. Крал 15.01.1975
    к статье В.В. Грушецкого, А.П. Ершова, С.Б. Покровского "Прокрустово ложе" для входных языков в многоязыковой системе программирования".
  • БЕТА/М-56 С.Б. Покровский 01.02.1975
    Аннотация к управлению памятью при трансляции.
  • Материал БЕТА/М-56 С.Б. Покровский 01.02.1975
    "Управление памятью в БЕТА-трансляторе". Материал не содержит ничего радикально нового. Целью является введение единообразной терминологии в БЕТА-проекте.
  • Статья С.Б. Покровский 12.05.1975
    "Об унификации алгоритмических языков".
  • Черновик статьи С.Б. Покровский 12.05.1975
    "Об унификации алгоритмических языков". /Текст рукописный./
  • Замечания С.Б. Покровский 15.05.1975
    к 1-му разделу статьи "Об унификации алгоритмических языков".
  • Памятная записка А.П. Ершов -> А.С. Алексеев 10.06.1975
    по работе с американской делегацией (в разрезе отделения информатики).
  • Письмо А.П. Ершов -> Р. Джонсон 24.07.1975
    Автор сожалеет о невозможности лично приветствовать адресата в Новосибирске из-за своего отъезда в ФРГ. По его поручению встретят и познакомят с работами института его сотрудники.
  • Письмо -> А.П. Ершов 22.09.1975
    Сообщение о подписании проекта соглашения между MIT и АН СССР; приглашение Э. Фредкина и Дж. Визнера в СССР запланировано на январь 1976 года. /Текст рукописный./
  • Письмо А.П. Ершов -> В.М. Савинков 24.09.1975
    Предлагает опубликовать "Руководство для пользователей" в издательстве "Статистика". Перевод на русский язык статьи Й. Йенсена и Н. Вирта "Pascal: User Manual and Report" может быть выполнен С.Б. Покровским под редакцией автора.
  • Письмо А.П. Ершов -> Н.Н. Моисеев 17.10.1975
    о названии доклада; соавтор - С.Б. Покровский.
  • Письмо В.М. Савинков -> А.П. Ершов 29.10.1975
    о проблемах публикаций по Паскалю; просьба рекомендовать в редколлегию представителя из Новосибирска.
  • План 30.10.1975
    научного ознакомления с работами отделения информатики на ноябрь 1975 г. для М. Миякавы.
  • Статья С.Б. Покровский 15.01.1976
    "Эволюция языков программирования" в соавторстве с С.Б. Покровским. /Текст черновой./
  • Статья С.Б. Покровский 05.02.1976
    "Эволюция языков программирования". Написана для доклада на Второй всесоюзной конференции по исследованию операций в Петрозаводске в мае 1976 г. /Текст машинописный./
  • Телеграмма А.П. Ершов -> А.А. Дородницын 20.02.1976
    с сообщением о кандидатуре С.Б. Покровского для поездки на дрезденскую конференцию.
  • Телеграмма А.П. Ершов -> А.О. Буда 18.05.1976
    "Письмо Илиеву взял Покровский для передачи в Дрездене".
  • Сопроводительное письмо А.П. Ершов -> И.И. Недлин 18.06.1976
    к проекту программы приема гостей АН СССР профессоров Э. Дейкстры и Э. Хоара, приглашенных вице-президентом АН СССР академиком Г.И. Марчуком сроком на две недели в сентябре 1976 года.
  • Письмо А.П. Ершов -> адресат не установлен 20.06.1976
    Автор сообщает о приглашении профессоров Э. Дейкстры и А. Хоара в качестве гостей АН СССР; надеется на сотрудничество при подготовке и проведении этого визита.
  • Письмо А.П. Ершов -> Д. Деннис 06.08.1976
    с рекомендациями по приглашению советских и зарубежных ученых на конференцию в Канаде в 1977 г.
  • Письмо А.П. Ершов -> Д. Деннис 09.08.1976
    с предложениями по списку участников конференции и по её программе.
  • Предварительная программа А.П. Ершов 25.08.1976
    приема гостей Академии наук СССР профессоров Э. Дейкстры (Нидерланды) и Э. Хоара (Великобритания).
  • Служебная записка А.П. Ершов -> Г.И. Марчук 23.09.1976
    с просьбой объявить благодарность и премировать сотрудников Левина Д.Я. И Покровского С.Б.
  • Отчет С.Б. Покровский 01.10.1976
    о пребывании в СССР гостей АН СССР профессора Э.В. Дейкстры (Нидерланды) и профессора Ч.Э.Р. Хоара (Англия).
  • Письмо Е.В. Никольский -> А.П. Ершов 03.11.1976
    Просьба выслать препринт "Прокрустово ложе" для входных языков в многоязыковой системе программирования" В.В. Грушецкого, А.П. Ершова и С.Б. Покровского.

Страницы

  • « первая
  • ‹ предыдущая
  • 1
  • 2
  • 3
  • 4
  • следующая ›
  • последняя »
Назад
  • На главнуюНа главную
  • ПомощьПомощь
  • in Englishin English
  • WebmasterWebmaster
© ИСИ СО РАН, 2000-2023