Архив
Теоретические исследования
Смешанные вычисления
Статья
"Как специальные конструкции трансляции могут порождаться универсальными процессами смешанных вычислений". /Текст машинописный./
Таблица
"comp = cocom (Int)"
Черновики
к специализации рекурсивного интерпретатора.
Черновик таблицы
cocom = Mix_Mix
Черновики
к статье.
Программа
получения объектного кода посредством рекурсивного интерпретатора.
Черновики
к специализации одноциклового интерпретатора алголоподобного языка.
Программа
получения объектного кода посредством одноциклового интерпретатора.
Проекты слайдов
к докладу на конференции по прикладной логике.
Справка
о месте работы и домашнем адресе авторов статьи.
Доклад
"On mixed computation: informal account of the strict and polyvariant computational schemes". /Текст рукописный, чистовой./
Иллюстрации
к статье "Смешанные вычисления" для журнала "В мире науки".
Список
гостей - представителей американской и советской сторон, издающих журнал "В мире науки".
Визитная карточка
Запись
Рассуждения по поводу смешанных вычислений. /Текст рукописный./
Реферат, 09.02.1978
статьи "Correctness of mixed computation in Algol-like programs".
Рукопись, 11.02.1978-08.05.1978
"Смешанные вычисления". Рабочий материал для 1-го варианта.
Статья, 09.04.1978-01.05.1978
"Смешанные вычисления в классе рекурсивных схем программ". /Наброски связного текста./
Заметки, 29.04.1978-01.05.1978
о РЕФАЛе, функции Аккермана. /Черновой вариант, текст рукописный./
Статья, 01.05.1978-08.05.1978
"Смешанные вычисления в классе рекурсивных схем программ". /Текст рукописный./

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

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