|
|
Основные моменты истории
|
| В. Турчин |
Базисный Рефал |
1968 |
|
|
|
1971 |
Y. Futamura, "Futamura Projections" (статья о
преобразовании интерпретатора в компилятор) |
|
|
1972 |
В. Турчин, прогонка (driving) (статья в
сборнике ЦНИПИАСС) |
|
|
1974 |
В. Турчин, суперкомпиляция (лекции на
Рефал-семинаре) |
| С. Романенко |
Рефал-2 |
1975 |
|
|
|
1976 |
А. Ершов, смешанные вычисления (лекции в
Москве) |
|
|
1977 |
А. Ершов, смешанные вычисления (статьи в "Программировании"
и "...", ссылка на "теорему Турчина о двойной
прогонке") |
|
|
1977 |
В. Турчин и др., монография по Рефалу (ЦНИПИАСС),
формулы преобразования интерпретатора в
компилятор и порождения генератора компиляторов |
|
|
1977 |
P. Cousot, Abstract Interpretation |
|
|
1980 |
В. Турчин, монография по суперкомпиляции в
виде отчета CUNY |
|
|
1982 |
В. Турчин, первые эксперименты с
суперкомпилятором, статья в SIGPLAN Notices |
| С. Романенко |
Рефал-2 на IBM/370 |
1984 |
|
|
|
1985 |
N. Jones et al, Partial Evaluation, самоприменение
специализатора, порождение компилятора
компиляторов |
|
|
1987 |
С. Романенко, улучшение частичных
вычислений, порождение читабельного компилятора
компиляторов |
|
|
1987 |
В. Турчин, статья "Gеneralization in supercompilation" |
| В. Турчин |
Рефал-5 |
1988 |
|
|
|
1989 |
В. Турчин, Scp2 для Рефала |
|
|
1990 |
Семинар в Обнинске с разбором Scp3 |
| С. Романенко |
Рефал Плюс |
1990 |
|
| Арк. Климов |
Рефал-6 |
1992 |
|
|
|
1993 |
Анд. Климов и Р. Глюк, примитивный
суперкомпилятор на 8 страницах на языке Haskell, статья
"Occam Razor in Metacomputation..." |
|
|
1995 |
С. Абрамов, монография "Метавычисления и
их применение" |
|
|
1999 |
А. Немытых и В. Турчин, Scp4 для Рефала-5 |