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