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