П |
Методы декомпозиции, синтеза и оптимизации в многоязыковой системе программирования |
1974 |
Грушецкий В. В., Ершов А. П., Покровский С. Б., Поттосин И. В. |
|
|
ВЦ СО АН СССР |
22150 |
08.10.1974 |
П |
Метапроцессоры для универсального прграммирующего процессора |
1974 |
Грушецкий В. В., Ершов А. П., Покровский С. Б. |
|
|
ВЦ СО АН СССР |
22149 |
31.01.1975 |
П |
Внутренний язык в многоязыковой системе программирования как средство формализации семантики входных языков |
1974 |
Ершов А. П., Покровский С. Б., Сабельфельд В. К. |
|
|
ВЦ СО АН СССР |
|
24.01.1994 |
П |
"Прокрустово ложе" для входных языков в многоязыковой системе программирования |
1975 |
Грушецкий В. В., Ершов А. П., Покровский С. Б. |
|
|
ВЦ СО АН СССР |
22148 |
16.04.1975 |
СТ |
Внутренний язык в многоязыковой системе программирования как средство формализации семантики входных языков |
1975 |
Ершов А. П., Покровский С. Б., Сабельфельд В. К. |
|
|
|
Elektronische Informationsverarbeitung und Kybernetik |
24.01.1994 |
П |
Технические процедуры проекта БЕТА |
1980 |
Покровский С. Б., Степанов Г. Г. |
|
|
ВЦ СО АН СССР |
|
06.10.1999 |
П |
Операторы внутреннего языка системы БЕТА |
1981 |
Покровский С. Б. |
|
|
ВЦ СО АН СССР |
22216 |
05.10.1981 |
П |
Виды, константы и переменные во внутреннем языке системы БЕТА |
1981 |
Покровский С. Б. |
|
|
ВЦ СО АН СССР |
22215 |
11.03.1981 |
СТ |
Методика разработки многоязыковых трансляторов на примере системы БЕТА |
1982 |
Поттосин И. В., Ершов А. П., Касьянов В. Н., Покровский С. Б. |
|
|
ВЦ СО АН СССР |
Математическая теория и практика системного программного обеспечения |
30.03.1993 |
А |
Семантическая унификация в многоязыковом оптимизирующем трансляторе |
1986 |
Покровский С. Б. |
|
|
|
|
29.12.1986 |
М |
Многоязыковая транслирующая система |
1987 |
Захаров Л. А., Покровский С. Б., Степанов Г. Г., Тен С. В. |
|
- Поттосин И. В.
|
ВЦ СО АН СССР |
|
15.03.1988 |
СТ |
Гипертекст как среда разработки программного обеспечения |
1990 |
Покровский С. Б., Степанов Г. Г. |
|
|
|
Программно-инструментальные средства задач информатики |
05.03.1992 |
СТ |
Среда разработки программного обеспечения, основанная на гипертексте |
1995 |
Покровский С. Б., Степанов Г. Г. |
|
|
|
Средства и инструменты окружений программирования |
21.12.1995 |
СТ |
Возможности и перспективы одной гипертекстовой среды |
1996 |
Покровский С. Б., Степанов Г. Г. |
|
|
|
Программирование |
14.11.1996 |
СТ |
СОКРАТ: окружение надежного и эффективного программирования |
1996 |
Захаров Л. А., Касьянов В. Н., Кузьминов Т. В., Покровский С. Б., Поттосин И. В., Сабельфельд В. К., Степанов Г. Г., Шелехов В. И. |
|
|
|
Актуальные проблемы информатики, прикладной математики и механики. Часть III. Информатика. Сб. научных трудов |
31.05.1996 |
СТ |
Гипертекстовая среда разработки программ и документов |
1998 |
Покровский С. Б., Степанов Г. Г. |
|
|
|
ИНПРИМ-98 |
26.06.1998 |