Презентация Разработка и исследование редактора и компилятора запросов системы логического программирования

Презентация Разработка и исследование редактора и компилятора запросов системы логического программирования


Предлагаем ознакомиться с содержанием и скачать для редактирования или печати презентацию «Разработка и исследование редактора и компилятора запросов системы логического программирования», содержащую 28 слайдов и доступную в формате ppt. Размер файла доклада составляет 497.50 KB

Просмотреть и скачать

Слайды и текст этого доклада

Разработка и исследование редактора и компилятора запросов системы логического программирования, рис. 1
Рис.1
Цель, задачи и структура работы
Рис.2 Цель, задачи и структура работы
Научная новизна и практическая значимость
Рис.3 Научная новизна и практическая значимость
Апробация работы и публикации
Рис.4 Апробация работы и публикации
Язык S-FLOGOL (Small FLOGOL)  Основан на теории направленных отношений (НО).  Поддерживает апплика
Рис.5 Язык S-FLOGOL (Small FLOGOL)  Основан на теории направленных отношений (НО).  Поддерживает аппликативный и композиционный стили программирования.  Обладает развитой схемной надстройкой, включающей: индексированные имена объектов, условные конструкции, свертки.  Допускает динамическую типизацию объектов.  Поддерживает параметризацию определений НО.  Позволяет строить многомодульные программы.  Обладает средствами ограничения области видимости НО.
Программа на языке S-FLOGOL
Рис.6 Программа на языке S-FLOGOL
Сетевая интерпретация программ
Рис.7 Сетевая интерпретация программ
Описания НО
Рис.8 Описания НО
Определение НО
Рис.9 Определение НО
Композиционное программирование
Рис.10 Композиционное программирование
Параметризованные описания НО
Рис.11 Параметризованные описания НО
Индексированные имена
Рис.12 Индексированные имена
Свертка (продолжение) Типовое отношение для типа
Рис.13 Свертка (продолжение) Типовое отношение для типа
Описание семантики языка (начало)
Рис.14 Описание семантики языка (начало)
Описание семантики языка (окончание)
Рис.15 Описание семантики языка (окончание)
Реализация языка S-FLOGOL
Рис.16 Реализация языка S-FLOGOL
Предварительная стадия компиляции
Рис.17 Предварительная стадия компиляции
Основная стадия компиляции
Рис.18 Основная стадия компиляции
База описаний НО (SR-правила)
Рис.19 База описаний НО (SR-правила)
Управление компиляцией (AR-правила)
Рис.20 Управление компиляцией (AR-правила)
Формирование сети
Рис.21 Формирование сети
Оптимизация получения спецификаторов
Рис.22 Оптимизация получения спецификаторов
SimpleNet – язык текстового описания КССГ
Рис.23 SimpleNet – язык текстового описания КССГ
Заключительная стадия компиляции
Рис.24 Заключительная стадия компиляции
Технология дедуктивного ввода программ
Рис.25 Технология дедуктивного ввода программ
Основные технологические приемы ввода
Рис.26 Основные технологические приемы ввода
Разработка и исследование редактора и компилятора запросов системы логического программирования, рис. 27
Рис.27
Результаты работы
Рис.28 Результаты работы


Скачать презентацию