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