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