Расширенный атрибутивный метод спецификации семантики для реализации языка программирования задач реального времени

Расширенный атрибутивный метод спецификации семантики для реализации языка программирования задач реального времени

Автор: Бею, Татьяна Владимировна

Шифр специальности: 05.13.11.

Научная степень: Кандидатская

Год защиты: 1984

Место защиты: Киев

Количество страниц: 274 c. ил

Артикул: 4025536

Автор: Бею, Татьяна Владимировна

Стоимость: 250 руб.

Расширенный атрибутивный метод спецификации семантики для реализации языка программирования задач реального времени  Расширенный атрибутивный метод спецификации семантики для реализации языка программирования задач реального времени 

СОДЕРЖАНИЕ
ВВЕДШИЕ
1. СЕМАНТИЧЕСКИЕ АСПЕКТЫ РЕАЛИЗАЦИИ ТРАНСЛЯТОРОВ
ФОРМАЛЬНЫХ ЯЗЫКОВ.
1.1. Методы и средства создания трансляторов
1.2. Формализация семантических описаний .
1.3. Структура семантического процессора .
1.4. Метасемантический язык
2. ИССЛЕДОВАНИЕ ШЕШНЕЙ СРЕДЫ ТРАНСЛЯТОРА.
2.1. Общая характеристика входного языка .
2.2. Стандартные средства объектного уровня
2.3. Уровень виртуальной исполнительной среды.
3. ФОРМАЛЬНАЯ СЕМАНТИКА ОБЩЕАЛГЭРИТШЧЕСКИХ СРЕДСТВ.
3.1. Структуры данных
3.2. Основные управляющие структуры .
3.3. Метапрограммирование общеалгоритмических средств
4. ФОРМАЛЬНАЯ СЕМАНТИКА СРЕДСТВ ВЗАИМОДЕЙСТВУЯ
С ОПЕРАЦИОННОЙ СРЕДОЙ .О
4.1. Супервизорное управление в реальном масштабе времени
4.2. Средства обмена .
4.3. Метапрограммирование средств взаимодействия
с операционной средой .
5. ИССЛЕДОВАНИЕ РЕАЛИЗАЦИИ СЕМАНТИЧЕСКИХ ПРОЦЕДУР.
5.1. Архитектура комплекса семантических процедур Ц
5.2. Технология генерации транслятора
5.3. Количественные оценки и вопросы оптимизации .
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА


Основным множеством объектов здесь является не множество состояний, а множество формул некоторой логической системы. Семантика языка определяется с помощью системы аксиом и правил вывода. Теоремы, выводимые из аксиом путем применения правил вывода, можно интерпретировать как истинные утверждения о состояниях памяти до и после выполнения программ. Элементарная формула теории (аксиома) имеет вид P{Q}R. Р , R, - пропозициональные формулы (логические термы), a Q. Эта формула имеет следующий смысл. Если Р истинно до выполнения оператора 0, и выполнение оператора б- заканчивается, то после окончания й Я также будет истинно. Аксиомы связываются с элементарными операторами языка, например, оператором присваивания. Р гарантирует истинность М после выполнения 0. Я после выполнения I* , то истинность Р гарантирует истинность Я после выполнения 0/; I*. Достаточно подробный обзор методов неконструктивного задания семантики содержится в [4. Рассмотренные формализмы описания языков, в частности их семантики, можно трактовать как некоторые метаязыки. При этом, как правило, строгих инструкций, как писать на них (т. В связи с этим процесс составления семантических описаний можно назвать метапрограммированием, который переживает в настоящее время период, сходный с "вавилонской башней" языков программирования -годов. Структура семантического процессора. Получение объектной программы по полному дереву разбора предполагает, что каждоиу правилу грамматики ставится в соответствие свой алгоритм приписывания смысла, называемый семантическим определением (подпрограммой). Интерпретатор такого языка читает объекты предложений метасемантического языка, при этом простой объект выписывается в выходную строку, а клауза [к] вызывает переход к интерпретации того предложения метасемантического языка, которое определено для правила, использованного в дереве раэбора для К -го нетерминального компонента текущего правила. После окончания интерпретации предложения метасемантического языка производится возврат на клаузу, вызвавшую обработку данного предложения. Отметим ряд особенностей данного способа представления алгоритмов преобразования Ьвх—- Яеых , т. Количество семантических определений равно количеству правил вывода исходной грамматики. В то же время дерево разбора может содержать несколько вхождений одного правила. Следовательно, семантические определения должны быть рекурсивными. Кроме того, клаузы, как обращения к семантическим определениям, не фиксируют заранее имена вызываемых подпрограмм, а получают эту информацию динамически из дерева разбора, которое является своеобразным представлением исходных данных. По существующей терминологии назовем его семантическим процессором (СПР). Входом СПР будет являться дерево вывода (разбора) входного предложения определяемого языка, которое получается в результате работы синтаксического анализатора, а выходом - некоторые структуры, отображающие задаваемый смысл (семантику) входного предложения. Так для определяемого языка программирования выходом может служить адекватная программа на другом, уже определенном, языке, например, ассемблере объектной ЭВМ, что соответствует задачам, решаемым при построении транслятора с данного языка программирования. Для непроцедурных языков семантика может означать получение некоторых выходных структур данных (например, таблиц), интерпретируемых каким-либо образом, а по существу являющихся выходом транслятора. Дадим программную реализацию семантического процессора, предложенного в работе [6. ПЛ/1. DCL(U,R,W,K2,. K<=R-H K2-; . Последний элемент вектора &А? ЕВ) содержит отсылку (кодируемую отрицательным числом) на правило грамматики, содержащее аксиому, т. Процедура $Р& содержит переключатель ТО к, СЫР»), осуществляющий передачу управления на метки, с которых начинается ПЛ/1-текст семантического определения действий N —го синтаксического правила. Действительно, условный оператор проверяет текущее содержимое &А$(Ю (первоначально &А$(&Е$) ) и устанавливает в Я индекс текущего правила. Локальные переменные М, К2, и т.

Рекомендуемые диссертации данного раздела

28.06.2016

+ 100 бесплатных диссертаций

Дорогие друзья, в раздел "Бесплатные диссертации" добавлено 100 новых диссертаций. Желаем новых научных ...

15.02.2015

Добавлено 41611 диссертаций РГБ

В каталог сайта http://new-disser.ru добавлено новые диссертации РГБ 2013-2014 года. Желаем новых научных ...


Все новости

Время генерации: 0.365, запросов: 244