М |
Базисный РЕФАЛ и его реализация на вычислительных машинах (методические рекомендации) |
1977 |
Турчин В. Ф., Шенков И. Б., Романенко С. А., Климов А. В., Травкина Е. В., Красовский А. Г., Хорошевский В. Ф. |
|
|
Госстрой СССР ЦНИПИАСС |
|
04.05.1978 |
П |
Генератор компиляторов, порожденный самоприменением специализатора, может иметь ясную и естественную структуру |
1987 |
Романенко С. А. |
|
|
ИПМ АН СССР |
|
01.04.1999 |
А |
Машинно-независимый компилятор с языка рекурсивных функций |
1979 |
Романенко С. А. |
|
|
|
|
30.03.1979 |
П |
Представление объектных выражений массивами при реализации языка Рефал |
1988 |
Абрамов С. М., Романенко С. А. |
|
|
ИПМ АН СССР |
|
01.04.1999 |
М |
Реализация РЕФАЛА - 2 |
1987 |
Романенко С. А. |
|
|
ИПМ им. М.В. Келдыша РАН |
|
21.08.1987 |
СТ |
Суперкомпиляция высшего уровня как путь к метасистемному переходу |
2012 |
Ключников И. Г., Романенко С. А. |
|
|
|
Программирование |
04.12.2012 |
СТ |
Суперкомпиляция для теории типов Мартина-Лефа |
2015 |
Ключников И. Г., Романенко С. А. |
|
|
|
Программирование |
22.07.2015 |