119. О суперкомпиляции (к 80-тилетию со дня рождения В. Ф. Турчина)

В статье описывается история и обзор современного состояния развития идей В.Ф. Турчина в области автоматического преобразования программ, известных как суперкомпиляция, и дается анализ этих идей в общем контексте автоматической специализации программ. Исследования в области построения систематических методов специализации программ по отношению к фиксированным свойствам их аргументов были начаты в 1970-х годах А.П. Ершовым («смешанные вычисления»), В.Ф. Турчиным («суперкомиляция») и Ё. Футамурой («generalized partial computation»).

 

 

Файл тезисов: nemytykh_thesis_supercompilation_Lyapunov100.pdf
Файл с полным текстом: nemytykh_supercompilation_Lyapunov100.pdf
Файл презентации: nemytykh_prezentation.pdf