Статья "Как специальные конструкции трансляции могут порождаться универсальными процессами смешанных вычислений". /Текст машинописный./
Таблица"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
По порядку | По алфавиту | По дате |