автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.13, диссертация на тему:Исследование и разработка синмакропроцессорного метода автоматизированного проектирования языковых конверторов

ВВЕДЕНИЕ.

ГЛАВА I. ПРОБЛЕМНО-ОРИЕНТИРОВАННЫЕ ЯЗЫКОВЫЕ ПРОЦЕССОРЫ И

АВТОМАТИЗАЦИЯ ИХ ПРОЕКТИРОВАНИЯ.

1.1. Организация лингвистической среды в проблемно-ориентированных системах математического обеспечения

1.2. Реализация ПОШ на базе концепции трансформации

ЯП. Языковые конверторы.

1.3. Обзор литературы по вопросам построения

САПР ЯП.

1.4. Синмакропроцессорная реализация САПР ЯП.

1.5. Выводы по главе I.

ГЛАВА 2. ЭЛЕМЕНТЫ ТЕОРИИ СИНМАКРОПРОЦЕССОРНОЙ ОБРАБОТКИ

2.1. Введение.

2.2. Теория синтаксического анализа и перевода

2.3. Построение формального описания семантики ЯВУ средствами атрибутивной синмакропроцессорной обработки.

2.4. Выводы по главе 2.

ГЛАВА 3. ПРИНЦИПЫ ПОСТРОЕНИЯ ЯЗЫКОВЫХ КОНВЕРТОРОВ НА ОСНОВЕ

СИНМАКРСПРОЦЕССОРНЫХ СПК.

3.1. Элементы формального и неформального описания металингвистических средств СМОК

3.2. Генерационная схема макрореализации ЯК.

3.3. Примеры использования СМОК для реализации языковых процессоров.

3.4. Выводы по главе 3.

ГЛАВА 4. РЕАЛИЗАЦИЯ МАКРОСИСТЕМЫ АВТОМАТИЗИРОВАННОГО

ПРОЕКТИРОВАНИЯ КОНВЕРТОРОВ СМОК.

4.1. Организация вычислительного процесса в макросистеме СМОК.

4.2. Особенности интерпретации изобразительных средств СМОК при построении ЯК

4.3. Основные принципы обработки макросистемой СМОК описаний ЯК и текста конвертируемых программ

4.4. Замечания по опыту разработки и эксплуатации макросистемы СМОК.

4.5. Выводы по главе 4.

Широкое использование средств вычислительной техники в различных областях науки и производства и существенное усложнение решаемых с ее помощью задач, определяет необходимость повышения эффективности использования аппаратно-программных ресурсов вычислительных систем (ВС). Решение данной проблемы подразумевает развитие как общесистемного так и проблемно-ориентированного матобеспечения. Если общесистемное матобеспечение обеспечивает в основном эффективное использование аппаратных и программных ресурсов ВС и упрощает взаимодействие профессиональных программистов с ЭВМ, то применение пакетов прикладных программ (ППП) решает аналогичные задачи для пользователей-непрофессионалов.

Эффективность организации вычислительных процессов на стадиях проектирования и внедрения ППП в значительной степени определяется наличием специализированных лингвистических средств. Данные средства, образующие своеобразный макроуровень по отношению к базовым программным компонентам ППП, позволяют организовать информационный интерфейс между областью пользовательских представлений о предметной области пакетов и их функциональной структурой. Одним из перспективных направлений в создании специализированных лингвистических средств для ППП является их реализация в виде проблемно-ориентированных языков (ПОЯ) и соответствующих проблемно-ориентированных языковых процессоров (ПОЯП) (конверторов), переводящих описания задач с ПОЯ на универсальные языки программирования. Вслед-ствии этого возрастает важность поиска способов эффективной организации языковых конверторов и создания эффективных методик автоматизированного проектирования, позволяющих сократить трудоемкость разработки и повысить надежность получаемых конверторов. Возрастает также необходимость реализации программных средств инструментальной поддержки данных методик.

Существующий уровень развития систем автоматизации проектирования языковых процессоров (САПР ЯП) не соответствует предъявляемым к ним требованиям [8,681 . Главным тормозом является отсутствие простых и надежных программных продуктов, ориентированных на реализацию различных классов ПОЯ; мало работ по методике и технологии создания ПОЯП, невелик опыт их реализации и использования. Список отечественных инструментальных систем, получивших относительно широкое распространение, ограничивается системами ПРИЗ, РТК, РАДУГА, СИРИУС, СПУТНИК и ЕС-77. В связи с этим представляются актуальными исследования, направленные на разработку формализованных методов построения ПОЯП и создания на этой основе эффективных САПР ЯП.

В формировании данного направления в нашей стране значительную роль сыграли работы А.П.Ершова, А.И.Китова, Н.А.Криницкого, С.С.Лаврова, В.В.Липаева, Э.З.Любимского, М.Р.Шура-Бура и др. В настоящее время исследования в области создания САПР ЯП проводятся рядом ведущих организаций (в том числе ИПМ, ВЦ АН СССР, Институт Кибернетики АН УССР, Институт Кибернетики АН Эст.ССР) и координируются рабочей группой при Государственном комитете по науке и технике СССР.

Одной из характерных тенденций в создании и реализации ПОЯП является расширение универсальных языков программирования (УЯП) проблемно-ориентированными операторами и типами данных С 03 Таким методом реализован ряд языков имитационного моделирования, информационно-поисковых систем и входных языков ППП [7г18,23,бЛ. Подобные системы обычно включают в себя языковый конвертор (ЯК), осуществляющий перевод с входного языка высокого уровня (ЯВУ) на другой ЯВУ (выходной или базовый алгоритмический язык). Последующая обработка текста программ осуществляется штатным компилятором базового языка. Данный подход основывается на концепции трансформации языков программирования и находит все большее распространение.

Потребность в создании различного рода ЯК диктует необходимость построения эффективной методики их разработки и соответствующих систем автоматизации проектирования.

Развитие систем автоматизированного построения конверторов (СПК) происходит по нескольким направлениям, обусловленным применением для конвертирования специализированных и универсальных макропроцессоров, систем построения трансляторов (СПТ), расширяемых языков, различного рода препроцессоров и метасистем построения ППП L10 93. Среди наиболее известных СПК можно отметить: в нашей стране - ПРИЗ Г "3 7 3 , Макросистема ЕС-77 IG 71 , ЛОРД [1091 , РАДУГА С 6 5 1 , СУПЕР С-М 1 , за рубежом -LILtf Г-ЖИ, ILIS С 12.71 , DEPO L 1081 , TVS Г-Ж], YRCC C1Z81, MUG2. С991 .

Одним из перспективных путей в разработке СПК является комбинирование синтаксико-семантических методов построения СПТ и средств макрообработки. Сочетание макрореализации изобразительных средств ПОЯ и изготовления соответствующей СПК на базе развитых методов синтаксического разбора и семантических вычислений может обеспечить достаточно быструю и простую разработку конверторов для широкого класса ПОЯ. Метод, основывающийся на указанном комбинированном подходе, будем называть синмакропроцессорным методом (СМ) реализации ЯК.

Преимущества СМ видятся в удачном сочетании его универсальности и гибкости с эффективностью и простотой.

Большинство из известных ПОЯ по назначению, сложности, синтаксису и семантике может быть разделено на небольшое число классов. Сходство специализированных изобразительных средств ПОЯ подразумевает возможность применения некоторых общих технологических приемов в реализации ЯК для ПОЯ определенного класса и способов построения соответствующих СПК. Это приводит к идее создания обшей методики разработки ЯК и СПК. В основу этой методики может быть положен СМ реализации ЯК (учитывая его достоинства, отмеченные выше). Разработка подобной методики должна основываться на анализе концепций построения ЯК для языков выбранного класса и проработке конкретных методов их автоматизированного проектирования. Диссертационная работа посвящена решению этих проблем применительно к СМ реализации ЯК для контекстно-свободных ПОЯ.

Существующий уровень развития САПР ЯП не позволяет пока достичь высокой эффективности в разработке и реализации ПОЯП. Главным тормозом является отсутствие простых и надежных систем, ориентированных на описание различных классов ПОЯ С 6 8 3 ; практически не исследованы также методика и технология создания ПОЯП, невелик опыт реализации и использования САПР ЯП С 9 9 3 .В связи с этим являются актуальными исследования, направленные на разработку формализованных методов построения ПОЯП и создания на этой основе эффективных САПР ЯП.

Цель работы. Основными задачами диссертации являются:

- разработка и исследование синмакропроцессорного метода автоматизированного проектирования ПОЯП, обеспечивающего существенное сокращение трудоемкости и сроков создания ПОЯП за счет некоторого снижения их эффективности;

- исследование способов расширения синтаксических возможностей макропроцессоров и систем символьной обработки;

- анализ и разработка методов построения семантических описаний ПОЯ в рамках синмакропроцессорного метода;

- разработка методики автоматической генерации макропроцес-сорных конверторов для языков некоторого класса;

- создание на базе разработанного синмакропроцессорного метода экспериментальной макросистемы автоматизированной реализации ПОЯП для ЭВМ Единой Серии;

- оценка результатов разработки, отладки и эксплуатации макросистемы.

Методы исследований. Проведенные исследования базируются на работах по автоматизации программирования, теории формальных языков и грамматик, методах и технологии системного и структурного программирования. В работе широко используются аппарат макрообработки, синтаксического анализа и перевода, а также концепция трансформации языков программирования.

Научная новизна. В работе предложен и формально определен метод автоматизированного проектирования ПОЯП, названный синмак-ропроцессорным методом (СМ) разработки языковых конверторов. Проведено теоретическое исследование предложенного метода, в результате которого: конструктивно выделен представительный подкласс грамматик ПОЯ, допускающий интерпретацию средствами синмакрообработки (СМО); показано, что синмакропроцессорная реализация языковых процессоров (конверторов) может основываться на использовании обшей концепции трансформации языков программирования; определен способ применения аппарата атрибутивных грамматик для описания семантических трансформаций в рамках СМО; предложен вариант базового набора металингвистических средств в составе метасинтак-сического и метасемантического языков, предназначенных для описания процессов конвертирования; разработана методика автоматической генерации синмакропроцессорных конверторов на основе их металингвистических описаний. Указаны способы расширения возможностей макропроцессоров и систем символьной обработки в САПР ЯП за счет добавления соответствующих синтаксических средств. Разработаны общие принципы построения на базе СМ САПР ЯП в виде макросистемы описания языковых конверторов.

Практическая значимость работы подтверждена характеристиками созданной на основе СМ экспериментальной макросистемы СМОК для

ЕС ЭВМ. Макросистема включает: развитые металингвистические средства описания конверторов и синтаксический макропроцессор для их интерпретации, обеспечивающий сокращение времени и стоимости разработки ПОЯП и повышение их надежности за счет модульности проектируемых конверторов. На основе реализации с помощью СМОК ряда экспериментальных конверторов проведена опытная проверка основных положений СМ и даны рекомендации по практическому использованию этого метода при создании ПОЯП.

Внедрение результатов исследования. Разработанная макросистема СМОК в комплекте с эксплуатационной документацией записана на дистрибутивную магнитную ленту и сдана в МосФАП. Внедрение СМОК осуществлено в Пензенском институте математических машин для разработки ПО спец-ЭВМ, в МГУ для разработки ПОЯ решения задач математической статистики, на Смоленской АЭС для создания ПО АСУ ТП, в ИАиЭ СО АН СССР для разработки ПОЯ машинной графики, в ГИВЦ ЦСУ для реализации лингвистической среды СУЦЦ. СМОК также внедрен в МНУЦ СНПО "Алгоритм" и кафедре Системотехники МЭИ для учебных целей.

Апробация. Отдельные результаты диссертационной работы докладывались: на всесоюзной конференции по вопросам применения САПР в учебном процессе (Иваново, 1981), на межотраслевом научном семинаре "Теория информационных систем" при Совете по комплексной проблеме "Кибернетика" АН СССР МИРЭА (Москва, 1982, 1984), на четвертом Всесоюзном семинаре "Моделирование дискретных управляющих и вычислительных систем" (Свердловск, 1984), на научно-техническом семинаре "Сети ЭВМ и распределенные базы данных" при Совете по комплексной проблеме "Кибернетика" АН СССР МЭИ (Москва, 1983).

Публикации. По теме диссертации опубликовано 5 печатных работ.

Структура работы. Работа состоит из введения, четырех глав, заключения, списка литературы из 134 наименований и приложений.

Материал строится по следующему принципу - выбор и обоснование способа реализации ЯК (синмакропроцессорная обработка), разработка и исследование метода автоматизированного построения СПК (синмакропроцессорный метод), реализация этих концепций в СМОК и практические результаты эксплуатации.

Первая глава посвящена исследованию вопросов организации ПОЯП и методов автоматизации их проектирования. Рассматривается задача организации лингвистической среды в системах ПО. Определено понятие ЯК и вццелено их место в САПР ЯП. Описывается концепция трансформации языков программирования (ЯП) и ее применение в задаче построения ЯК. Рассмотрены традиционные методы организации СПК, проведен их анализ и сравнение. Предложен метод построения СПК, базирующийся на комбинировании средств макрообработки и методов синтаксического разбора и семантических вычислений (синмакропроцессорный метод). Дан анализ указанного метода и определены его основные особенности. Сделан вывод о перспективности СПК среди различных классов САПР ЯП. Показана целесообразность применения СМ в качестве методологической базы построения СПК. В конце главы приводится обзор литературы по вопросам построения САПР ЯП, на основе которого сделан ряд выводов, касающихся преимуществ и недостатков различных способов их реализации.

Вторая глава содержит элементы теории синтаксического анализа и перевода для СМ, а также изложение вопросов построения формального описания семантики ЯВУ средствами атрибутивной синмакро-процессорной обработки (АСМО). Рассматриваются вопросы автоматического построения синтаксических анализаторов и преобразователей на основе порождающих грамматик для языков, описываемых расширенным контекстно-свободным (РКС) синтаксисом.

Для данного класса языков формально описаны средства распознавания в виде И(^) синтаксического анализатора и перевода в виде Ы(1) преобразователя. Существенная часть второй главы посвящена исследованию вопросов построения формального описания семантики ЯП средствами АСМО. Обосновывается целесообразность применения для этих целей аппарата атрибутивных грамматик. Рассматриваются различные классы алгоритмов обхода атрибутивного дерева вывода. Показывается, что в рамках АСМО может быть решена задача перевода для РКС языков путем реализации атрибутивного 1-1. (-1) преобразователя. Особое внимание уделяется вопросу построения формальной методики автоматизированного проектирования ЯК, называемой генерационная схема макрореализации (ГСМ). В ходе раз- . работки и исследования ГСМ уточняются понятия метасемантического и метасинтаксического языков и формализуются основные этапы автоматизированного проектирования ЯК. Сделан вывод, что ГСМ определяет способы построения синмакропроцессорных конверторов на основе их металингвистических описаний и может использоваться в качестве формальной методики разработки ЯК в рамках соответствующих СПК.

В третьей главе исследуются средства и методы создания ЯК с помощью СПК, построенной на основе СМ. Результаты проведенных в работе исследований нашли практическое воплощение в разработанной автором экспериментальной макросистеме СМОК для ЕС ЭВМ. Для описания синтаксиса и семантики конвертируемых языков (КЯ) в СМОК предложен вариант металингвистических средств в составе двух метаязыков: метасинтаксический язык МТСИН и метасемантический язык МТСЕМ, Описываются основные изобразительные средства этих метаязыков, указываются их преимущества и недостатки для описания ЯК в СПК.

На основании описанных металингвистических средств СМОК и в соответствии с разработанной в главе 2 ГСМ, строится методика автоматизированного проектирования ЯК. Описаны основные этапы данной методики, рассмотрены способы их реализации средствами СМОК. Практическое применение предложенной методики иллюстрируется на примерах построения ряда экспериментальных ЯК.

В четвертой главе рассмотрена реализация макросистемы СМОК. Описана структура макросистемы, ее файловая среда и алгоритмы работы. Показано, что процесс обнаружения ошибок и их диагностики распределен в СМОК по двум фазам и позволяет распознавать синтаксические ошибки автоматически. Описаны также средства обнаружения семантических ошибок. Рассмотрена алгоритмическая система описания процессов конвертирования, лежащая в основе получаемых с помощью СМОК ЯК, базирующаяся на нормальных алгоритмах Маркова. Описываются методы построения граф-схем, являющихся внутренним представлением в СМОК синтаксиса конвертируемых языков. Универсальность данной алгоритмической системы определяется принципом нормализации. Приведено описание структур данных и рабочих областей макросистемы, в которых хранятся описания макросов, синтаксические граф-схемы и списки метапеременных. Представлены диаграммы, иллюстрирующие алгоритмы заполнения и обслуживания указанных областей, В конце главы дано краткое описание технологии разработки СМОК, опыта эксплуатации макросистемы и ее характеристик.

- 195 -4.5. ВЫВОДЫ ПО ГЛАВЕ 4

1. Разработанная и реализованная на ЕС ЭВМ экспериментальная макросистема автоматизированного проектирования ПОЯП СМОК обладает развитыми средствами построения конверторов и позволяет уменьшить сроки и стоимость разработки ПОЯП за счет некоторого снижения их эффективности.

2. Характеристики созданной на основе синмакропроцессорного метода макросистемы СМОК подтверждают конструктивность выдвинутого в данной работе предложения о построении САПР ЯП в виде макросистемы описания языковых конверторов.

3. Принятое в СМОК внутреннее представление процессов конвертирования в виде синтаксических граф-схем позволяет описывать аналитические модели грамматик (алгоритмы конвертирования) в графической форме, допускающей возможности их интерпретации с помощью синтаксического макропроцессора.

4. Опыт опытной эксплуатации макросистемы СМОК, ее внедрение на ряде предприятий, принесшее положительный эффект, и прохождение приемо-сдаточных испытаний при сдаче макросистемы в МосФАП АСУ подтверждают, что СМОК доведен до стадии практического использования.

ЗАКЛЮЧЕНИЕ

Основные научные результаты работы:

1. В работе предложен и формально определен метод автоматизированного проектирования ПОЯП - синмакропроцессорный метод разработки языковых конверторов (СМ), базирующийся на синтезе синтаксической макрообработки, трансформации языков и концепции атрибутивных грамматик.

2. Проведено теоретическое исследование СМ, в результате которого: а) выявлен достаточно широкий подкласс грамматик ПОЯ, допускающих интерпретацию в рамках СМ; б) показана возможность и способы использования синтаксических макропроцессоров для реализации трансформации ПОЯ в универсальные языки программирования; в) определен способ описания семантики конвертируемых языков на основе атрибутивных грамматик.

3. Предложен вариант базового набора металингвистических средств САПР ЯП в составе метасемантического и метасинтаксическо-го языков, предназначенных для описания процессов конвертирования.

4. На основе СМ разработана методика автоматической генерации синмакропроцессорных конверторов по их металингвистическим описаниям.

Основные практические результаты работы:

1. Разработана и реализована на ЕС ЭВМ экспериментальная макросистема автоматизации проектирования ПОЯП СМОК, обладающая развитыми средствами построения конверторов.

2. Работоспособность макросистемы и технологичность процесса конструирования конверторов для ПОЯ проверены на различных задачах. В ходе опытной эксплуатации в ряде организаций с помощью СМОК проведена разработка прикладного ПО общим объемом более 10 тыс.строк. Реализация на СМОК ряда экспериментальных ЯК подтвердила правильность базовых теоретических положений и позволила дать конкретные рекомендации по его доводке и практическому использованию,

3. Макросистема снабжена эксплуатационной документацией, прошла приемо-сдаточные испытания и передана в МосФАП АСУ под регистрационным номером П96.

1. Аксельрод И.Р., Белоус Л.Ф., Пастухов Ю.В., Приколтин A.B., Шлейников В.И. Применение системы Спутник для построения трансляторов. - Программирование, 1983, №4, с.16-20.

2. АХО А., Ульман Дк. Теория синтаксического анализа, перевода и компиляции (том I). М.: Мир, 1978. - 396 с.

3. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции (том 2). М.: Мир, 1978. - 485 с,

4. Бабаев И.О. Система для введения в Фортран новых типов данных. -Программирование, 1982, №1, с. 89-94.

5. Балмачеев В.В., Будник И.В., Никопаев O.A. Построение программно-настраиваемой подсистемы автоматизированной подготовки управляющих систем AFM-P/CM-3. Программирование, 1984, №4, с.87-90.

6. Басс Л.П., Гермогенова Т.А. и др. Система ПНФ. Принципы создания пакетов программ на базе нестандартного программного фонда. -М.: ИПМ АН СССР, 1980, »154. 86 с.

7. Безруков H.H. Синтаксически-ориентированный метод программирования ввода и контроля исходных данных. Программирование, 1983, №4, с.38-50.

8. Беханова М.М., Цуков H.H. Универсальный макропроцессор для ЕС ЭВМ. В вн.: Прикладные методы информатики, Новосибирск, 1980, с.33-38.

9. Белова Д.А., Кузин P.E. Применение ЭВМ для анализа и синтеза систем управления. М.: Энергия, 1979. - 264 с.

10. Бердж В. Методы рекурсивного программирования. М.: Машиностроение, 1983. - 245 с.

11. Бирюков А.И., Курочкин В.М., Серебряков В.А. Структурные атрибуты и их реализация в системе построения трансляторов СУПЕР. -Программирование, 1981, №2, с.52-55.

12. Братчиков И.Л. Синтаксис языков программирования* М.: Наука, 1975. - 231 с.

13. Браун П. Макропроцессоры и мобильность программного обеспечения. М.: Мир, 1977. - 253 с.

14. Мобильность программного обеспечения/Под ред. П.Брауна. М.: Мир, 1980. - 160 с.

15. Вооглайд А.О., Мэристе М.Б. Абстрактные атрибутивные грамматики. Программирование, 1982, №5, с.17-26.

16. Воюю В.И. Обеспечение универсализма в макрогенераторе общего назначения. Программирование, 1979, №4, с.24-29.

17. Гинзбург С. Математическая теория контекстно-свободных языков.- М.: Мир, 1970, 326 с.

18. Говоров В.М., Гришин М.А. О реализации языка проектирования программ для решения задач в пределах пакетов прикладных программ. В сб.: Вопросы радиоэлектроники. Сер. АСУПР, вып.З, 1984, с. I09-II4.

19. Гогина М.А. Контекстный корректор. В кн.: Математическое обеспечение автоматического проектирования, Свердловск, УНЦ СССР, 1961, с.148-156.

20. Горбатенко Д.Д. Методы макрореализации систем дискретного моделирования. Диссертация на соискание ученой степени кандидата технических наук. - М., 1978. - 136 с.

21. Горбатенко Д.Д., Сержантов А.В., Федюшин Б.В. О принципах практического обучения программированию на ЭШ. В сб.: Вычислительная техника социалистических стран, М., Финансы и статистик ка, 1983, с.143-147.

22. Горелик A.M., Ушкова В.Л., Шура-Бура М.Р. Мобильность программ на Фортране. М.: Финанся и статистика, 1984, - 167 с.

23. Григоренко В.П., Саан Ю.П., Сотникова Н.С. Опыт применения системы ПРИЗ-32 при построении пакетов прикладных программ САПР.- Программирование, 1979, №1, с.73-79.

24. Грис Д. Конструирование компиляторов для цифровых вычислительных машин. М.: Мир, 1975. - 376 с.

25. Гусев В.В., Петрухин Л.В. Использование перехвата программ метода доступа в ОС ЕС. Управляющие системы и машины, 1984, №1, с.65-69.

26. Дейкстра Э. Дисциплина программирования. М.: Мир, 1978.- 274 с.

27. Добров Г.И. Прогнозирование науки и техники. М.: Наука, 1969.- 208 с.

28. Долизде Д.Ш. Анализ и обработка текстов средствами языка- В кн.: Языки и системы программирования, Новосибирск, 1981, с.40-46.

29. Елистратов М.Р., Петров А.Ф., Спасская М.В. Входной язык и транслятор САПР магнитных устройств широкого класса. Обмен опытом в радиопромышленности, 1983, №4, с.34-36.

30. Ершов А.П. 0 сущности трансляции. Программирование, 1977, №5, с.21-39.

31. Языки программирования/Под общ.ред. Женюи Ф. М.: Мир, 1972,- 406 с.

32. ЭЛУР язык описания заданий для краевых задач элептических уравнений/Канюкова В.Д. и др. - М.: ИПМ АН СССР, 1979, №20.- 53 с.

33. Карелов C.B., Поляков А.К. Синтаксический макропроцессор ШОК в расширяющейся системе моделирования МПЛ/1. В сб.: Моделирование дискретных управляющих и вычислительных систем, Свердловск, УНЦ АН СССР, 1984, с.71-73.

34. Карелов C.B., Поляков А.К. Синтаксический макроконвертор -СМОК. В сб.: Аннотированный перечень новых поступлений, М., ЦООНТИ "Экое", 1984, №2, с.6-7.

35. Кикоть П.Б. Синтез программ расчета сетевых структур. Программирование, 1983, №4, с.27-34.

36. Кривцов Б.В. Ма1фоассемблер для представления уравнений состояния МДП-ИС в списочно-аналитическом виде. Электронное моделирование, 1981, №4, с.39-44.

37. Кэмбел-Келли. Введение в макросы. М.: Советское Радио, 1978.- 150 с.

38. Лавров С. С., Капустина E.H., Селюн M .И. Расширяемый алгоритмический язык АБВ. В кн. : Обработка символьной информации, М., ВЦ АН СССР, 1976, вып.З, с.5-53.

39. Литвак Б.Г. Экспертная информация. Методы получения и анализа.- М.: Радио и связь, 1982. 184 с.

40. Ляшко М.М. Макрореализация системы моделирования вычислительных систем и сетей ЭВМ. Тезисы докладов межотраслевой конференции по прикладным проблемам моделирования систем связи (часть 2), Ташкент, 1980, с.127-133.

41. Маккиман У., Хорнинг Д., Уортман Д. Генератор компиляторов. -М.: Статистика, 1980. 527 с.

42. Марков A.A. Теория алгоритмов. Тр.Матем.ин-та АН СССР, 1954, т.42, с.121-146.

43. Мустопф Т. Система программирования POLYP. Программирование, 1979, №1, с.43-54.

44. Мучник М.М. Об использовании макрогенератора для реализации языков программирования СЦЕМ и микропроцессоров. Программирование, 1979, №1, с.86-89.

45. Мэристэ М.Б. Методы реализации атрибутных схем в системах построения трансляторов. Программирование, 1980, №5, с.40-49.

46. Неменман М.Е. Макросистема как инструмент системного цроррам-мирования. В сб.: Труды Всесоюзного семинара по вопросам макрогенерации, Тбилиси, 1975, с.I14-122.

47. Никитин A.C., Сангин Н.И. Иерархические графовые структуры и программные средства их обработки. Кибернетика, 1982, №2, с.31-34.

48. Оллонгрен А. Определение языков программирования интерпретирующими автоматами. М.: Мир, 1977. - 286 с.

49. Орлов Б.Н., Сенин H.H. Препроцессор расширенного Фортрана. -Программирование, 1980, №3, с.68-74.

50. Паремский М.В., Школьников Ю.В., Макропроцессор общего назначения в составе мониторной системы ДУБНА. М.; Препринт ИАЭ, 1980. - 26 с.

51. Пастухов Ю.В. Макропроцессор общего назначения. В сб.: Вычислительная математика, программирование и обработка эксперимента, Киев, Наукова Думка, 1979, с.57-65.

52. Петренко А.К. Методы расширения интерактивных ППП. В сб.: Разработка ППП, Новосибирск, Наука, 1982, с.215-224.

53. Поляков А.К. Моделирование ЭВМ на ЭВМ. М.: МЭИ, 1981. - 105 с.

54. Поляков А.К., Карелов C.B. Синтаксически-ориентированный макрогенератор для разработки математического обеспечения ВСКП.

55. В сб.: Труды МЭИ. Вычислительные сети коллективного пользования, М., МЭИ, 1983, с.15-18.

56. Поляков A.K., Ляшко М.М. Языки моделирования структур вычислительных систем. Электронное моделирование, Киев, 1981, №6, с.30-37.

57. Ситников И.О., Тарабукин В.И., Шахтарин Е.Ю. Универсальная макросистема. В сб.: Математическое обеспечение автоматизированного проектирования, Свердловск; УНЦ СССР, 1981, с.20-70.

58. Ситников И.О., Тарабукин В.И., Шахтарин Е.Ю. Язык системы структурного программирования на ФОРТРАНе. В сб.: Математическое обеспечение автоматического проектирования, Свердловск, УНЦ СССР, 1981, с.71-122.

59. Слипченко В.Г., Медведева В.Н., Коваль Т.Н., Синицин И.П. Транслятор с языка МАТЕМАТИК в пакете моделирования КРОСС. -Управляющие системы и машины, 1982, №6, с.58-62.

60. Степанов ПД., Дубаков A.A. Развитие проблемно-ориентированных систем методом двойной макрогенерации. Управляющие системы и машины, 1982, №5, с.66-68.

61. Сухомлин В.А. Алгоритмическая система для описания процессов трансляции. Программирование, 1975, №2, с.77-83.

62. Сухомлин В.А. Применение машины грамматического разбора в процессах трансляции. Программирование, 1975, №3, с.53-57.

63. Сухомлин В.А. Метасистема для построения проблемно-ориентированных языковых систем и пакетов прикладных программ. Программирование, 1976, №2, с.63-70.

64. Табаков В.Н. Система программирования для поддержки метода пошаговых уточнений. Программирование, 1984, №4, с.18-23.

65. Тодорой Д.Н., Ахегукян A.B. Ма1фосистема ЕС-77. Кишинев: Штиинца, 1979. - 158 с.

66. Тодорой Д.Н. Расширяемые средства машинной графики. (Программное обеспечение). М.: Радио и связь, 1983. - 208 с.

67. Турчин В.Ф. РЕФАЛ-Макрокод. В сб.: Труды Всесоюзного семинара по вопросам макрогенерации, Тбилиси, 1975,не.150-165.

68. Фисун В.А. Конвертор АЛФОР. В кн.: Повышение эффективности использования ЭШ большой производительности, Свердловск, УНЦ АН СССР, ИММ, 1982, с.122-123.

69. Фомин В.М., Чернышева Р.Т. и др. Автоматизированная система для организации, ведения и эксплуатации 111111. В сб.: Разработка ППП, Новосибирск, Наука, 1982, с.197-215.

70. Фостер Дж. Автоматический синтаксический анализ. М.: Мир. 1975. - 70 с.

71. Фролов Т.Д., Олюнин В.Ю. Практический курс программирования на языке PL/I. М.: Наука, 1983¥ - 384 с.

72. Хайкин H.H., Кухоренас Е.А., Ратновский A.A., Кардановский Л.А. Макросистема для языка ПД/1 ДОС. М.: ЭНИМС, 1977. -130 с.

73. Чапцов Р.П., Надточий И.Л., Конов В.А., Комиссарова Н.С. Система автоматизированного конструирования трансляторов как компонента базовой САПР. В сб.: Автоматизация проектирования в энергетике и электротехнике. Иваново: ИЭИ, 1979, с. 1216.

74. Черемисов Д.И. Система построения трансляторов для программирования микропроцессоров. В сб.: Автоматизация проектирования технологических процессов, Минск, ИТК АН БССР, 1982, вып. I, с.135-142.

75. Чхартишвили Г.С., Чхартишвили Л.П. Машинный анализ и синтез нелинейных систем. М.: МЭИ, 1978. - 40 с.

76. Шахтарин Е.Ю. Двусвязные списки. В кн.: Математическое обеспечение автоматического проектирования, Свердловск, УНЦ СССР, 1981, с.123-141.

77. Штаркман B.C. Макропроцессоры. В сб.: Труды Всесоюзного семинара по вопросам макрогенерации, Тбилиси, 1975, с.180-211.

78. Abramson H.D. A Syntax Directed Macro Processor. BIT, 1974-1 V.14, N 9, p. 261-272.

79. Abramson H.D. Regulus.A General Purpose Macro Processor Based on Regular Expressions, Part One. Proc. ACM, 1977 Annual Conference, p.

80. Aird T.I. The IMSL Fortran Converter: Am Approach to Solving Portability Problems. Lecture Notes in Computer Science, 1977» v. 57» p. 568-588.

81. Albrecht P.F., Garrison P.E., Graliom S.L., Hyerle R»H., Ip P., Kriey-Bruckner B. Source-to Source Translation: Ada to Pascal and Pascal to Ada. Sigplan Notices, I98O, v. 15, N 11, p. 185-195»

82. Bodwin T., Bradley L., Kanda K., Litle D., Pleban V. Experience with an iSxperimental Compiler Generator Based on Denotational Semantics. Sigplan Notices, 1982, v. 17,1. N 12, p. 216-229.

83. Bosch P.N. The Translation of Programming Languages through the use of a Graph Transformation Language (extended abstract). Sigplan Notices, 1982, v. 17» N 12, p. 85-92.

84. Breitenecker F. The concept of supermacros in today's and future simulation languages. Mathematics and Computers Simulation, 1985, v. 25» N 5» p. 279-289.

85. Brown P.J. The ML/1 Macroprocessor. CACM, 1967» v. 10, N 10, p. 618-625.

86. Brown P.J. Macros Without Tears. Software-Practice and Experience, 1979» v. 9, N 6, p. 455-457.89« Brown P.J. Supermac A macro facility, that can be added to existing compilers. - Software-Practice and Experience, 1980, v. 10, N p. 431-434.

87. Burgess G., James L. A rewised indexed bibliography for LR Grammars and Passers. Sigplan Notices, 1982, v. 17, N 12, p. 18-26.

88. Cammill R.G. A time portable language independent macro-processor and some applications. - AFIPS, v. 50, 1981» p p. 415-4-20.92» Campbell W.R. A Compiler Definition Facility Based on Syntactic Macro. Computer Journal, 1978, v. 21, N 1, p. 55-41.

89. Cleaveland J.C., Uzgalis R.C. What every programmer should know about grammar. Modeling and Measurement Note, N 12, Computer Science Department, University of California, Los Angeles, 1975» P« 65-96.

90. Comer D. Maps a Pascal Macro Preprocessor for Large Program Development. -Software-Practice and Experience, 1979» v.9»1. N 3» p. 203-209.

91. Dewar R.B., Macann A.B. Macro-Spitbol: a Snobol 4 compiler. - Software-Practice and Experience, 1977» v. 7» N 1, p. 95-H3.

92. Dijkstra fl.W. Guarded Commands, Nondeterminacy and Formal Derivation of Programs. CACM, 1975» v. 18, N 8, p. 453-457.

93. Dritz K.W. Multiple Programm Realizations using the TAMER System. Lecture Notes in Computer Science, 1977, v. 57, p. 405-423.

94. Drossopoulou S., Uhl J., Persch G., Goos G., Dausman M., Wirtirstein G. An Attribute Granmar for Ada. Sigplan

95. Notices, 1982, v. 17, N 12, p. 534-549.j .

96. Ganzinger H., Giegerich R. A Truly Generative Semantics Directed Compiler Generator. Sigplan Notices, 1982, v.12, N 12, p. 56-72.

97. Haddon B.K., Waite W.M. Experience with the universal intermediate language Janus. Software-Practice and Expedience, 1978, N 8, p. 601-616.

98. Knuth D.E. Semantics of context-free languages. Math. Systems Theory, 1968, 2, N 2, p. 127-134.

99. Kroz J.J., Hague S.J., Siemieniuch J.L. Aids to Portability within the NAG Project. Lecture Notes in Computer Science 1977» v. 57, p. 389-4-04.

100. Leavenworth В, Syntax Macros and Extended Translation. -CACM, 1966, N 9» p. 790-792.

101. Lecarme 0., Pellisier M., Thomas M.C., Computer-aided Production of Language Implementation Systems; A Review and Classification. Software-Practice and Experience, 1982» v. 12, N 9» P. 785-824.

102. Lehmann N.J. Problem-oriented languages and DEPOT. Implementing system. Lecture Notes in Computer Science, 1977» v. 47, p. 1-20.

103. Report of WR.04 of the ICSC. Definition and implementation of specialized languages. Edited by N.J.Lehmann. Technisch* Universität Dresden, 1979» 202 p.

104. Lewi J., De Vlaminck K.» Huens J., Steegmans E. A programming Metodology in Compiler Construction. Part Is Consepts Amsterdam, North Holland Publishing Company, 1979, 507 p.

105. Lewi 2E.» De Vlaminck K., Huers J., Steegmans E. A programming Metodology in Compiler Construction. Part 2s Implementation. Amsterdam, North-Holland Publishing Company, 1982, 283 p.

106. Lindstrom G. Control Extensions in a Recursive Languages. BIT, 1975» v. 1=J, N 6, p. 5O-7O.

107. HJ. Machura M. ELEQ a Language for Elliptic Equations in two Dimensiones. - Institute of Nuclear Research, Computing Center CYFRONET, Otwock-Swierck, 1975» 42 p.

108. Maruoka A., Kimura M. Design and Implementation of a Translator Writing System. Systems. Computers Controls, 1980, v. 11, N 2, p. 56-44.

109. Metgner J.B. A Graded Bibliography on Macro Systems and Extensible Languages. Sigplan Notices, 1979» v. 14, N 1, p. 57-68.

110. Munn R.J.,Stewart J.M. Ratmac, a preprocessor for writing portable scientific software. Software-Practice and Experience, 1980, v. 10, N 7, P. 160-188.

111. Nagata H. Formal: A Language with a Macro-oriented extension facility. Computer Languages, 1980, v. 5» N 2, p. 6576.

112. Nori K.V., Ammann U., Jensen K., Nagali H. The Pascal (P) compiler implementation notes. Institut fur Informatik, Zurich, 1975» 55 P.

113. Nudds D. The Design of the max Macroprocessor. Computer Journal, 1977» v. 20, N 1, p. 50-56.

114. Papakenstautinov G. A goorman's realisation of attribute grammars. Software-Practice and Experience, 1979» v. 9, N 8, p. 719-728.

115. Raiha K.J. Bibliography on Attribute Grammars. Sigplan Notices, 1980, v. 15, N 5» p. 55-44.

116. Richards M. The Portability of the BCPL Compiler. Software-Practice and Experience, 1971, v. 1, N 2, p. 155-146.

117. Richards M. The portability of the BCPL compiler. Software Practice and Experience, 1971» N 1, p. 155-146.

118. Santhanam V. Translating non standard extentions to standart Pascal. AFIPS, v. 49» 1980, p. 877-887.

119. Sassa M. A Pattern Matching Macroprocessor. Software-Practice and Experience, 1979» v. 9, N 9, p. 459-456.

120. Scowen R.S. An Introduction to the Standart Syntactic Metalanguage • NPL Report DNACS 4-7/81, July 1981, p. 15.

121. Sowa I.F. Interactive Language Implementation System. IBM Journal of research and development, 1984, v.28, IT 1,p. 28-40.

122. Seth& R. Control flow aspects of Semantics. Directed Compi ing (Summary). Sigplan Notices, 1982, v. 17, N 12, p. 245260.

123. Speckhart F.H., Green W.L. A Guide to Using CSMP- the Continuous System Modeling Program, Englewood Cliffs, N.J. Prentice-Hall, 1976, 386 p.

124. Strachey C. A general-purpose macro-generator. Computer Journal, 1965» v. 8, N 3» p. 225-241.

125. Tanenbaum A.S. A General-Purpose Macro Processor as a poor man's Compiler-Compiler, IEEE Trans, on Software Engeneering, SE-2: 1976, June, p. 121-125.

126. Waite W.M. The Mobile programming system: Stage 2. Comm. of che ACM, 1970, v. 13, N 7» p. 415-421.

127. Wegbreit B. An Overview of the ECL Programming System -Proc. Int. Symp. Ext, Lang. Sigplan Notices, 1971» v. 6, N 12, p. 26-28.

128. Zechmeister B. Die bleckorientierte Sprache SIMANNE. -Elektronische Rechenanlagen, 1969, H. 2, S. 82-90.