Рубрика: Семинары

_________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Конференц-зал ИСИ СО РАН
Заседаниe N 399
25 марта 1996
___________________________________________________________________
Время: 15.00
П.Г.Емельянов, В.К. Сабельфельд
Обзор серии работ Невина Хайнтце по новому направлению
теоретико-множественного анализа логических программ
Время: 16.00
Участники Международной
научно-методической конференции
«НОВЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В УНИВЕРСИТЕТСКОМ ОБРАЗОВАНИИ».
(Обмен мнениями)

___________________________________________________________________

——————————————————————-
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
начинает рассмотрение серии работ по логическому программированию,
посвященных проблемам семантического анализа логических программ
(главным образом методом абстрактной и теоретико-множественной
интерпретации)
и эквивалентного преобразования логических программ.
В первом обзорном докладе А.В. Сабельфельд сделает краткий реферат
содержания классической монографии
Дж.В. Ллойд. Основы логического программирования.
На последующих семинарах предполагается рассмотреть следующие работы:
1. Томас Линдгрен
Анализ потока управления в Прологе
2. Роберто Джиакобацци, Франческо Ранцато
Функциональные зависимости и Муровские семейства пополнений для
абстрактной интерпретации и семантики
3. К.-К. Лау, М. Орнаги, А. Петторосси, М. Пройетти
Корректность преобразований логических программ на основе
экзистенциального завершения
4. Обзор серии работ Невина Хайнтце по новому направлению
теоретико-множественного анализа логических программ
___________________________________________________________________
Конференц-зал ИСИ СО РАН
Время: 15.00
Заседаниe N 395
26 февраля 1996
___________________________________________________________________

А.В. Сабельфельд
Реферат монографии
Дж.В. Ллойда «Основы логического программирования».

___________________________________________________________________

___________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Конференц-зал ИСИ СО РАН
Время: 15.00
Заседаниe N 394
19 февраля 1996
___________________________________________________________________
Лисицын И.А.
О некоторых топологических мерах сложности программ
и алгоритмах их вычисления
___________________________________________________________________

___________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Конференц-зал ИСИ СО РАН
Время: 15.00
Заседаниe N 392
12 февраля 1996
___________________________________________________________________
Емельянов П.Г.
О работах по теоретическому программированию
в Политехнической школе
(по материалам командировки во Францию)
___________________________________________________________________

___________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Конференц-зал ВЦ СО РАН
Время: 15.00
Заседаниe N 390
1 декабря 1995
___________________________________________________________________
Д.В.Кочетов
«Особенности специализации Modula-2 программ
методом генерирующего расширения».
___________________________________________________________________

___________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Конференц-зал ВЦ СО РАН
Время: 15.00
Заседаниe N 388
10 ноября 1995
___________________________________________________________________
Мурзин Ф. А.
Конечные спектры и NP-полнота
___________________________________________________________________

___________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Конференц-зал ВЦ СО РАН
Время: 15.00
Заседания N 385
9 июня 1995
___________________________________________________________________
Мурзин Федор Александрович
О некоторых тенденциях развития параллельных ЭВМ:
— концепция языкового обеспечения спецпроцессора
информационного поиска,
— алгоритм WZ-разложения и архитектура ЭВМ.
(В докладах сообщается о некоторых исследованиях автора, его
взглядах относительно тенденций развития параллельных ЭВМ
и планов проведения исследований.)

___________________________________________________________________

___________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Конференц-зал ВЦ СО РАН
Время: 15.00
Заседания NN 380 — 383
___________________________________________________________________
Рассмотрение дипломных работ
28 апреля
Густокашина Юлия Владимировна. Трансляция SISAL- программ в
IF1 форму.
Тарников Игорь Александрович. Разработка и реализация транс-
лятора с языка Фортран-77 в системе ПРОГРЕСС.
Рихтер Юлия Васильевна. Проект символьного анализатора зави-
симости по данным.
Маркин Владимир Анатольевич. Идеограф — промежуточное предс-
тавление программы, ориентированное на мелкозернистый паралле-
лизм.

——————————————————————
5 мая
Карепин Дмитрий Александрович. Построение входных и выходных
форм для системы управления преобразованиями программ.
Армякова Ольга Равиловна. Разработка программных средств
языковой адаптации систем управления преобразованиями программ
Долгова Светлана Геннадьевна. Разработка макетного образца
системы управления преобразованиями программ.
Сарайкин Александр Витальевич. Макетирование программ гото-
выми программными средствами.

——————————————————————
12 мая
Сабельфельд Андрей Викторович. Эквивалентные преобразования
для схем с вырожденной рекурсией.
Кладов Владимир Леонидович. Альтернативная расширенная биб-
лиотека инструментальных пакетов функций для программирования на
языке Си.
Шин Владимир Сонирович. Декомпозиция больших систем с по-
мощью графа Коатса.
Посуконько Андрей Геннадьевич. Макроредактор для системы уп-
равления преобразованиями программ программ.

——————————————————————

___________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Конференц-зал ВЦ СО РАН
14 апреля 1995, Время: 15.00
Заседание N 379
___________________________________________________________________
Налимов Евгений Викторович
Оптимизирующий генератор кода после проекта СОКРАТ.
——————————————————————-

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