М.: Наука, 1987. - 200 с.
Под ред. А.П.Ершова.
Серия "Проблемы искусственного интеллекта", №11 Описан инструментально-технологический комплекс СТЕНД, предназначенный для поддержки конструирования экспериментальных и прикладных систем в области символьно-логической обработки информации, в том числе в классе задач искусственного интеллекта. Комплекс включает теоретико-множественный язык программирования сверхвысокого уровня Сетл, языки управления базами данных, средства построения виртуальных машин, продукционные языки, развитые возможности создания интерфейсных, в частности лингвистических процессоров и др. СТЕНД реализован в виде расширяемой программной обстановки и может служить прототипом компоненты программного обеспечения перспективных ЭВМ.
Для специалистов в области информатики, вычислительной техники, систем искусственного интеллекта. Оглавление: Предисловие
Введение Виртуальная машина - основа системной архитектуры комплекса СТЕНД
Базовая виртуальная машина комплекса СТЕНД
Реализация базовой виртуальной машины в комплексе СТЕНД-БЭСМ
Реализация базовой машины М-1 и её пользовательской обстановки в комплексе СТЕНД-Паскаль
Спецификация виртуальной машины и работа с ней в системе СТЕНД-БЭСМ
Организация виртуальных машин в комплексе СТЕНД-Паскаль Средства организации данных
Предпосылки формирования СУБД-СТЕНД, её структура и назначение
Уровни общения с СУБД
Подсистема обработки данных в комплексе СТЕНД-БЭСМ
Спецификатор данных в комплексе СТЕНД-Паскаль
Процессор базовых структур данных в комплексе СТЕНД-Паскаль
Табличный процессор в комплексе СТЕНД-Паскаль Подсистема продукционного программирования
Продукционный язык как средство программирования высокого уровня
Процессор свёртки текста
Процессор обработки векторов
Процессор обработки деревьев
Процессор генерации текста
Подсистема организации модульных конфигураций Конструирование лингвистических и языковых процессоров
Формирование проекта ЗАПСИБ и его основные принципы
Типовая структура лингвистического процессора ЗАПСИБ
Обзор работ по проекту ЗАПСИБ
Построение языковых процессоров в системе СТЕНД-БЭСМ
Построение языковых процессоров в системе СТЕНД-Паскаль Конструирование и реализация языков программирования
Язык как объект конструирования и реализации
Лексикон языков программирования в системе СТЕНД
Структура реализации языка программирования Пользовательская обстановка Сетл
Язык Сетл: неформальное введение
Язык Сетл: формальное описание и автономное обращение
Пример программы на языке Сетл
Особенности программирования на языке Сетл Технология проекта и составления документации
Коллективная база данных и полный отчёт
Подсистема ведения проектно-документационной базы
Этапы выполнения проектного задания
Средства доступа к технологической базе данных Список литературы
Под ред. А.П.Ершова.
Серия "Проблемы искусственного интеллекта", №11 Описан инструментально-технологический комплекс СТЕНД, предназначенный для поддержки конструирования экспериментальных и прикладных систем в области символьно-логической обработки информации, в том числе в классе задач искусственного интеллекта. Комплекс включает теоретико-множественный язык программирования сверхвысокого уровня Сетл, языки управления базами данных, средства построения виртуальных машин, продукционные языки, развитые возможности создания интерфейсных, в частности лингвистических процессоров и др. СТЕНД реализован в виде расширяемой программной обстановки и может служить прототипом компоненты программного обеспечения перспективных ЭВМ.
Для специалистов в области информатики, вычислительной техники, систем искусственного интеллекта. Оглавление: Предисловие
Введение Виртуальная машина - основа системной архитектуры комплекса СТЕНД
Базовая виртуальная машина комплекса СТЕНД
Реализация базовой виртуальной машины в комплексе СТЕНД-БЭСМ
Реализация базовой машины М-1 и её пользовательской обстановки в комплексе СТЕНД-Паскаль
Спецификация виртуальной машины и работа с ней в системе СТЕНД-БЭСМ
Организация виртуальных машин в комплексе СТЕНД-Паскаль Средства организации данных
Предпосылки формирования СУБД-СТЕНД, её структура и назначение
Уровни общения с СУБД
Подсистема обработки данных в комплексе СТЕНД-БЭСМ
Спецификатор данных в комплексе СТЕНД-Паскаль
Процессор базовых структур данных в комплексе СТЕНД-Паскаль
Табличный процессор в комплексе СТЕНД-Паскаль Подсистема продукционного программирования
Продукционный язык как средство программирования высокого уровня
Процессор свёртки текста
Процессор обработки векторов
Процессор обработки деревьев
Процессор генерации текста
Подсистема организации модульных конфигураций Конструирование лингвистических и языковых процессоров
Формирование проекта ЗАПСИБ и его основные принципы
Типовая структура лингвистического процессора ЗАПСИБ
Обзор работ по проекту ЗАПСИБ
Построение языковых процессоров в системе СТЕНД-БЭСМ
Построение языковых процессоров в системе СТЕНД-Паскаль Конструирование и реализация языков программирования
Язык как объект конструирования и реализации
Лексикон языков программирования в системе СТЕНД
Структура реализации языка программирования Пользовательская обстановка Сетл
Язык Сетл: неформальное введение
Язык Сетл: формальное описание и автономное обращение
Пример программы на языке Сетл
Особенности программирования на языке Сетл Технология проекта и составления документации
Коллективная база данных и полный отчёт
Подсистема ведения проектно-документационной базы
Этапы выполнения проектного задания
Средства доступа к технологической базе данных Список литературы