Свежий номер №25 (402)  / Главные вехи в истории метавычислений
 
Дата публикации: 02.07.2001

Андрей Климов, klimov@keldysh.ru

 
<<  1
Таблицы

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



 
<<  1
Таблицы


Андрей Климов
klimov@keldysh.ru
 


<<  Валентин Турчин: "Проплыть между Сциллой и Харибдой"
Все материалы номера
Метавычисления - теория метасистемных переходов в программировании  >>