Международная конференция
"Современные проблемы математики, информатики и биоинформатики",
посвященная 100-летию со дня рождения члена-корреспондента АН СССР
Алексея Андреевича Ляпунова
№ гос. регистрации - 0321103262, ISBN 978-5-905569-03-6

11 - 14 октября 2011 г., Академгородок, Новосибирск, Россия

Немытых А.П.  

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

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