Документы, связанные с Сергей Борисович Покровский
-
Служебная записка
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
Просьба выслать препринт "Прокрустово ложе" для входных языков в многоязыковой системе программирования" В.В. Грушецкого, А.П. Ершова и С.Б. Покровского.