Заседание №316

__________________________________________________________________
Объединенный семинар ИСИ СО РАН, ВКИ и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 316
______________________________________________________________
Конференц-зал ВЦ СО РАН
Дата: 9.10.92
Время: 15.00
_________________________________________________________________
Докладчики: Евстигнеев В.А.
Тема: О некоторых формах промежуточного представления прог-
рамм, ориентированных на параллельную обработку ( по материалам
зарубежных работ).
__________________________________________________________________

Заседание №315

__________________________________________________________________
Объединенный семинар ИСИ СО РАН, ВКИ и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 315
_________________________________________________________________
Конференц-зал ВЦ СО РАН
Дата: 2.10.92
Время: 15.00
_________________________________________________________________
Докладчики: Гутман А.А.
Тема: Объектно-ориентированное программирование на языке С++
__________________________________________________________________

Заседание №314

__________________________________________________________________
Об’единенный семинар ИСИ СО РАН, ВКИ и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 314
_________________________________________________________________
Конференц-зал ВЦ СО РАН
Дата: 18.05.92
Время: 14.15
_________________________________________________________________
Докладчики: Смердина Г.В., Генералов В.В.
Тема: Язык Сетл и система программирования на его основе
__________________________________________________________________

Заседания №309-313

__________________________________________________________________
Об’единенный семинар ИСИ СО РАН, ВКИ и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 309-313
_________________________________________________________________
Конференц-зал ВЦ СО РАН
Время: 14.15
_________________________________________________________________
Рассмотрение дипломных работ
13 апреля
Мантуров В.А. Разработка и реализация транслятора в системе
анализа Фортран-программ
Кочубей Е.А. Разработка и реализация диалогового метапреобразо-
вателя системы анализа Фоpтpан-программ
Емельянов П.Г. Сравнительный анализ алгоритмов абстрактной ин-
терпретации МОДУЛА-программ
Грабарь А.В. Программные средства декомпозиции кода программ

20 апреля
Черевко А.А. Реализация алгоритма поиска гамаков в графах
Доледонок В.Г.Реализация параметризованных (родовых) компонен-
тов языка программирования баз данных АТЛАНТ
Курикалов Б.В. Разработка структуры и программного интерфейса
словаря справочника данных на базе файловой системы AFS
Ольков В.Г. Разработка программно-методического обеспечения для
исследования с помощью ЭВМ математических функций на экстремумы

27 апреля
Герега А.А. Расчет характеристик реакций с линейным механизмом
на основе САВ
Гринь Ю.И. Расчет линейных систем на основе САВ
Диденко В.А. Верификация программ обработки текстовых файлов
Ануреев И.С. Разрешающие процедуры для автоматических систем
верификации программ

4 мая
Ращенко Т.Г.Генерация заданий и сбор статистики в настраиваемой
среде активного обучения программированию
Иванова А.В. Организация диалога в настраиваемой среде активно-
го обучения программированию
Малинина Ю.В. Средства работы со словарями для обучающих систем.
Сорокина Ю.А. Музыкальные обучающие программы. Музыкальный ре-
дактор.

11 мая
Погосян О.А. Реализация системы исполнителей языка РОБИК
Барская С.Е. Базовый интерпретатор для разработки учебно-игро-
вых программ
Оберемок О. Обучающая экспертная система по русскому языку для
информатиков.
Кузнецов В.В. Разработка компонент РАПИРА компилятора для IBM PC
Ляпин А. Программные средства представления семантики языков
программирования на базе языка Лисп

Заседание №308

__________________________________________________________________
Об’единенный семинар ИСИ СО РАН, ВКИ и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 308
_________________________________________________________________
Конференц-зал ВЦ СО РАН
Дата: 6.04.92
Время: 14.15
_________________________________________________________________
Докладчик: Берс А.А.
Тема: Об’ектно-организованные операционные обстановки
__________________________________________________________________

Заседание №307

__________________________________________________________________
Об’единенный семинар ИСИ СО РАН, ВКИ и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 307
_________________________________________________________________
Конференц-зал ВЦ СО РАН
Дата: 30.03.92
Время: 14.15
_________________________________________________________________
Докладчик: Берс А.А.
Тема: Основные понятия операционных обстановок высого уровня
__________________________________________________________________

Заседание №306

__________________________________________________________________
Об’единенный семинар ИСИ СО РАН, ВКИ и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 306
_________________________________________________________________
Конференц-зал ВЦ СО РАН
Дата: 24.03.92
Время: 11.00
_________________________________________________________________
Докладчик: Cеменов А.Л.
Тема: Система UniCalc
__________________________________________________________________

Заседание №305

__________________________________________________________________
Об’единенный семинар ИСИ СО РАН, ВКИ и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 305
_________________________________________________________________
Конференц-зал ВЦ СО РАН
Дата: 16.03.92
Время: 14.15
_________________________________________________________________
Докладчик: Бульонков М.А.
Тема: Язык функционального программирования Scheme
__________________________________________________________________

Заседание №304

__________________________________________________________________
Об’единенный семинар ИСИ СО РАН, ВКИ и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 304
_________________________________________________________________
Конференц-зал ВЦ СО РАН
Дата: 9.03.92
Время: 14.15
_________________________________________________________________
Докладчик: Налимов Е.В., Земцов П.А.
Тема: Эффективная pеализация языка Paпиpа:
пpинципы и аpхитектуpа
__________________________________________________________________

Заседание №303

__________________________________________________________________
Об’единенный семинар ИСИ СО РАН, ВКИ и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 303
_________________________________________________________________
Конференц-зал ВЦ СО РАН
Дата: 2.03.92
Время: 14.30
_________________________________________________________________
Докладчик: Евстигнеев В.А.
Тема: Программный конвейер:основные принципы организации
__________________________________________________________________