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

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

 

 

Abstracts file: nemytykh_thesis_supercompilation_Lyapunov100.pdf
Full text file: nemytykh_supercompilation_Lyapunov100.pdf
Presentation file: nemytykh_prezentation.pdf