Свежий номер №25 (402)
/ Главные вехи в истории метавычислений
Дата публикации: 02.07.2001
Андрей Климов,
klimov@keldysh.ru
1970-е годы |
1971 |
Y. Futamura |
Преобразование интерпретатора в компилятор (часть того, что позже было названо «Futamura-Turchin Projections») |
1972-77 |
В. Турчин |
Суперкомпиляция (1972 - статья в сборнике ЦНИПИАСС о «прогонке» (driving); 1974 - лекции на Рефал-семинаре; 1977 - раздел в монографии по Рефалу) |
1976 |
А. Ершов |
Смешанные вычисления (1976 - лекции в Москве, 1977 - статья в журнале «Программирование», включающая обсуждение «теоремы В. Турчина о двойной прогонке») |
1980-е годы |
1980-89 |
В. Турчин |
Развитие методов суперкомпиляции: от монографии по суперкомпиляции (1980) через первые эксперименты (1982) до весьма развитого суперкомпилятора Рефала-5 в конце 80-х годов |
1985 |
N. Jones и др. |
Partial Evaluation, самоприменение специализатора, порождение компилятора компиляторов |
1987 |
С. Романенко |
Улучшение частичных вычислений, порождение читабельного компилятора компиляторов |
1990 |
|
Школа-семинар по суперкомпиляции в Обнинске |
1990-е годы |
1993 |
Р. Глюк, Андрей Климов |
Простейший суперкомпилятор для модельного языка на языке Haskell, статья «Occam Razor in Metacomputation: The Notion of the Perfect Process Tree» |
1995 |
С. Абрамов |
Монография «Метавычисления и их применение», алгоритмизация методов метавычислений на языке Haskell для примитивных модельных языков |
1999 |
А. Немытых, В. Турчин |
Новая версия суперкомпилятора для Рефала-5 |
2000 |
|
На мехмате МГУ открыто дополнительное к высшему образование, включающее курс по метавычислениям и суперкомпиляции (mathinform.math.msu.su) |
2000-е годы (прогноз) |
2001 |
Андрей Климов |
Суперкомпилятор для языка Java, реализующий базовую часть методов |
2001 |
Аркадий Климов |
Специализатор для Java-байткода на основе partial evaluation |
|
|