Кроссовая параметрическая реализация языков макроассемблера для микро-ЭВМ и микропроцессорных систем

Кроссовая параметрическая реализация языков макроассемблера для микро-ЭВМ и микропроцессорных систем

Автор: Сальман, Абдель Фаттах Махмуд

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

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

Год защиты: 1984

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

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

Артикул: 3434232

Автор: Сальман, Абдель Фаттах Махмуд

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

Кроссовая параметрическая реализация языков макроассемблера для микро-ЭВМ и микропроцессорных систем  Кроссовая параметрическая реализация языков макроассемблера для микро-ЭВМ и микропроцессорных систем 

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


В работе [ ] описана реализация кросс-ассемблеров для микропроцессоров путем использования описания самого МП и его системы команд. Для этой цели были разработаны специальные языки спецификации МП. По описаниям МП осуществляется генерация программы кросс-ассемблера. Примером таких языков служит язык спецификации микропроцессоров /ЯСМ/. Структурным элементом этого языка является секция. Совокупность секции образует описание МП. Процесс генерации кроссассемблеров этим методом заключается в обработке описаний МП, генерации необходимых ПЛ-программ и вставки их в ядро нроссассемб-лера. Недостатком такого подхода следует считать наличие в системе дополнительных специализированных языков. Большинство существующих методов ассемблирования основаны на испрльзовании свойств и характеристик конкретного входного языка и конкретной архитектуры МП, что препятствует созданию на их основе общих алгоритмов трансляции, позволяющих автоматизировать процесс разработки ассемблеров. Значительное сокращение времени разработки ассемблеров дают формальные методы, основанные на разделен™ этапов синтаксического и семантического анализа [6,]. Алгоритм синтаксического анализа для таких методов не зависит от конкретного входного языка. Таким образом, используя стандартную форму описания синтаксиса, можно обеспечить настройку транслятора на заданный входной язык [6]. Для систем трансляцш, которые строятся на основе формальных методов,характерным являнтся их независимость от конкретного входного языка [,]. Этапы синтаксического и семантического анализа в таких системах можно четко разделить. Построенный на формальных методах транслятор обладает некоторой универсальностью в заданном классе входных языков. В таких трансляторах синтаксис и семантику входного языка следует рассматривать как параметры, а для их построения потребуется аппарат формального описания синтаксиса и семантики. З- строка текста, принадлежащая выходному языку Ьвих , Входной язык ? V» - аксиома грамматики. Ь вых . Для задания синтаксиса входного языка разработан ряд мета-синтаксических языков, среди которых большое распространение получил язык БШ> [,,]. Тем не менее при построении конкретных систем трансляции используют и другие специальные языки [4,,, ,,], которые позволяют построить быстродействуняций синтаксический анализатор. Поэтому в каждом конкретном случае система трансляции на основе формальных методов строится с применением своих формальных языков описания синтаксиса и семантики. Ниже рассмотрен ряд систем реализации языков ассемблера на основе формальных методов. Для описания и реализации языков ассемблера по Р -технологии [ ,] применяется метаязык К -грамматик, который служит для описания синтаксиса и семантики. Грамматика языков в метаязыке -грамматик представляется в виде некоторого ориентированного графа, на дугах которого записываются символы языка и операции над любым конечным числом магазинных памятей. Таких операций три: пустая, запись и чтение. Для задания семантики на дугах ориентированного графа, необходимо указывать соответствующие операции над новыми типами абстрактной памяти. На основе И -грамматик была построена система реализации языков /включая языки ассемблера/ ИЛИЯМ [I]. Сущность этого принципа заключается в независимом описании входного и выходного языков, а также и процесса трансляции. Цредлагаемый способ описания основывается на идее параметрического подхода, состоящего в задании описания из трех частей: входного языка, выходного языка и связи указанных языков. Передача информации между частями обеспечивается аппаратом параметров. Преимущество параметрического подхода состоит в структуризации описаний, допускающей замену входного или выходного языка без существенных изменений в целом и организацию работы с библиотекой, хранящей описания наиболее употребительных языков и их подмножеств. СЦЦКА []. Система построения трансляторов СПТ-Баку [ 4 ] позволяет пользователю разрабатывать трансляторы с некоторых специализированных языков, в частности, разрабатывать кросс-системы для мини-и микро-ЭВМ. ПСП-грамматика/ [4]. ЗЕМРБ. SEM.

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

28.06.2016

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

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

15.02.2015

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

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


Все новости

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