Архив
Архив С.С. Лаврова
Научные труды С.С. Лаврова
Черновики, рукописи, рабочие записки
разных лет

Статья, 21.10.1970
Языковая основа применений ЭВМ. - "Журнал вычислительной математики и математической физики", Т.11, №2, 1971 /отдельный оттиск/
Доклад, 01.01.1970(?)
Эвристическое программирование /машинописная рукопись/. Опубликован в Трудах 2-й Всесоюзной конференции по программированию. - Новосибирск: изд. ВЦ СО АН СССР, 1970
Статья (рукопись), 01.01.1971(?)
"О решении задач на ЭВМ и доказательстве правильности программ". Опубликована в сб. "Проблемы прикладной математики и механики". - М.: "Наука", 1971
Рукопись, 01.01.1971(?)
"О семантических моделях" /текст машинописный/
Рукопись, 01.01.1972(?)
Исправления в книге С.С. Лаврова "Универсальный язык программирования (АЛГОЛ-60)" для 3-го издания 1972 г. и предисловие к 3-му изданию.
Статья, 19.07.1974
С.С. Лавров, А.А. Ордян, “Об одном расширении алгоритма Кнута для анализа бесконтекстных языков”, Ж. вычисл. матем. и матем. физ., 15:4 (1975), 1006–1019 /отдельный оттиск/
Рецензия, 01.01.1974(?)
на книгу "Управление вычислительными процессами" п/ред. М.Б. Игнатьева. "Журнал вычислительной математики и математической физики", Т.14 №2, 1974 /отдельный оттиск/
Статья
М.В. Дмитриева, С.С. Лавров, "Синтаксические анализаторы магазинного типа", Программирование, 3 (1978), 41-45 /отдельный оттиск/
Рукопись, 01.01.1974(?)
"Транслятор с автокода". Ленинград, 1974. Работа является одной из дополнительных глав к книге С.С. Лаврова "Введение в программирование". /текст машинописный/
Рукопись, 01.01.1975
Обзор основных понятий программирования. Ленинград, 1975 /текст машинописный/
Статья, 19.07.1977
В.Ю. Бакенрот, Т.П. Балкунова, С.С. Лавров, "Об одной процедуре упорядочения массивов", Программирование, 4 (1978), 85-86 /отдельный оттиск/
Статья, 10.05.1978
С.С. Лавров, "Методы задания семантики языков программирования (обзор)", Программирование, 6 (1978), 3-10 /отдельный оттиск/
Статья, 13.08.1979
С,В. Вдовкин, А.А. Кубенский, С.С. Лавров, В.О. Сафонов, "Реализация языка Паскаль для МВК "Эльбрус", Программирование, 3 (1981), 62-64 /отдельный оттиск/
Статья (2 экз.)
С.С. Лавров, Д.П. Захарченко. Lisp-1204
Статья, 23.06.1980
С.С. Лавров, Л.А. Залогова, Т.И. Петрушина, "Принципы планирования решения задач в системе автоматического синтеза программ", Программирование, 3 (1982), 35-43 /отдельный оттиск/
Черновик, 23.10.1980
"Алгоритм А.Я. Диковского для синтеза в базисе функциональных зависимостей, работающих в линейное время" /распечатка с рукописной правкой/
Рукопись (машинописная), 01.01.1982(?)
Синтез программ (в частности, система СПОРА), "Кибернетика". The synthesis of programs (particularly in the SPORA system)
Статья, 01.01.1982(?)
С.С. Лавров, "Синтез программ* /* в частности, система СПОРА", Кибернетика, 6 (1982), 11-16 /отдельный оттиск/
Статья, 30.06.1982
S.S. Lavrov, "The System SPORA", В сб. трудов международного коллоквиума Automated Data Retrieval in Astronomy (Страсбург, 7-10 июля 1981), 1982, 135-143 /оттиск/
Аналитическая записка, 17.12.1982
"Общая характеристика системы APX-432 фирмы ИНТЕЛ" /текст машинописный/

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

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