|
СТ |
Корректность преобразования чистки циклов для программ на внутреннем языке системы Бета |
1990 |
Ходиев Ш. И. |
|
|
|
Программно-инструментальные средства задач информатики |
05.03.1992 |
|
СТ |
Контекстные условия для объединения и расчленения циклов с индексными выражениями |
1991 |
Ходиев Ш. И. |
|
|
|
Смешанные вычисления и преобразование программ |
23.06.1992 |
|
П |
Глобальная оптимизация в многоязыковой транслирую ей системе |
1991 |
Кожухина С. К., Поттосин И. В., Томе О. Б., Ходиев Ш. И. |
|
|
ИСИ СО АН СССР |
|
09.07.1992 |
|
СТ |
Корректность преобразований чистки циклов для программ на внутреннем языке системы БЕТА |
1990 |
Ходиев Ш. И. |
|
|
ВЦ СО АН СССР |
Программно-инструментальные средства задач информатики |
21.09.1995 |
|
СТ |
Программные системы в образовательной информатике |
2000 |
Кобилов С. С., Ходиев Ш. И. |
|
|
|
Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть IV |
21.07.2000 |
|
СТ |
Подходы к разработке эффективных программ |
2000 |
Ходиев Ш. И. |
|
|
|
Проблемы алгоритмического программирования. Сборник тезисов докладов |
11.04.2003 |
