Компилятор-компилятор

Не путать с автономным компилятором или компилятором исходного кода .

В информатике компилятор -компилятор или генератор компилятора — это инструмент программирования, который создает синтаксический анализатор , интерпретатор или компилятор из некоторой формы формального описания языка программирования и машины.

Самый распространенный тип компилятора-компилятора называется генератором синтаксического анализатора . Он обрабатывает только синтаксический анализ .

Формальное описание языка обычно представляет собой грамматику, используемую в качестве входных данных для генератора синтаксического анализатора. Он часто напоминает форму Бэкуса-Наура (BNF) или расширенную форму Бэкуса-Наура (EBNF) или имеет свой собственный синтаксис. Файлы грамматики описывают синтаксис целевого языка программирования сгенерированного компилятора и действия, которые следует предпринять в отношении его конкретных конструкций.

Исходный код синтаксического анализатора языка программирования возвращается на выходе генератора синтаксического анализатора. Этот исходный код затем можно скомпилировать в анализатор, который может быть автономным или встроенным. Затем скомпилированный парсер принимает исходный код целевого языка программирования в качестве входных данных и выполняет действие или выводит абстрактное синтаксическое дерево (AST).

Генераторы парсеров не обрабатывают семантику AST или генерацию машинного кода для целевой машины.

Метакомпилятор — это инструмент разработки программного обеспечения , используемый в основном при создании компиляторов , трансляторов и интерпретаторов для других языков программирования. Входными данными метакомпилятора является компьютерная программа , написанная на специализированном программирования метаязыке , предназначенном в основном для создания компиляторов. Язык, созданный компилятором, называется объектным языком. Минимальный ввод для компилятора — это метапрограмма , определяющая грамматику объектного языка и семантические преобразования в объектную программу .

Варианты

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

Одной из самых ранних (1964 г.) и удивительно мощных версий компиляторов-компиляторов является META II , которая принимает аналитическую грамматику со средствами вывода , создающими стековой машинный код, и способна компилировать собственный исходный код и другие языки.

Среди первых программ исходных версий Unix , созданных в Bell Labs, была система, состоящая из двух частей lex и yacc , которая обычно использовалась для вывода кода языка программирования C , но имела гибкую систему вывода, которую можно было использовать для всего, от языков программирования. в преобразование текстового файла. Их современные GNU версии — flex и bison .

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

Проект «Компилятор-компилятор качества производства» ( PQCC ) в Университете Карнеги-Меллона не формализует семантику, но имеет полуформальную основу для описания машин.

Компиляторы-компиляторы существуют во многих вариантах, включая машинные генераторы переписывания снизу вверх (см. JBurg ), используемые для разбиения синтаксических деревьев в соответствии с переписываемой грамматикой для генерации кода, а также грамматики атрибутов генераторы анализаторов (например, ANTLR может использоваться для одновременной проверки типов, констант распространение и многое другое на этапе синтаксического анализа).

Метакомпиляторы

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

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

Помимо того, что метакомпилятор полезен для разработки предметно-ориентированных языков , он является ярким примером предметно-ориентированного языка, предназначенного для написания компиляторов.

Метакомпилятор — это метапрограмма , обычно написанная на собственном метаязыке или существующем языке компьютерного программирования. Процесс компиляции метакомпилятора, написанного на собственном метаязыке, эквивалентен саморазмещающемуся компилятору . Наиболее распространенные компиляторы, написанные сегодня, являются самостоятельными компиляторами. Самостоятельное размещение является мощным инструментом многих метакомпиляторов, позволяющим легко расширять их собственный метаязык метапрограммирования. Особенность, которая отличает метакомпилятор от других компиляторов-компиляторов, заключается в том, что он принимает на вход специализированный язык метапрограммирования , описывающий все аспекты работы компилятора. Метапрограмма, созданная метакомпилятором, является такой же полной программой, как и программа , написанная на C++ , BASIC или любом другом общем языке программирования . метапрограммирования Метаязык — мощный атрибут, позволяющий упростить разработку языков программирования и других компьютерных инструментов. Процессоры командной строки, преобразования и анализ текстовых строк легко кодируются с использованием метаязыков метапрограммирования метакомпиляторов.

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

Значение метакомпилятора

В информатике префикс мета обычно используется для обозначения «о» (собственной категории) . Например, метаданные — это данные, описывающие другие данные. Язык, который используется для описания других языков, является метаязыком . Мета может также означать более высокий уровень абстракции . Метаязык работает на более высоком уровне абстракции для описания свойств языка. Форма Бэкуса-Наура (БНФ) представляет собой формальный метаязык , первоначально использовавшийся для определения АЛГОЛА 60 . BNF — слабый метаязык , поскольку он описывает только синтаксис и ничего не говорит о семантике или значении. Метапрограммирование — это написание компьютерных программ с возможностью обращения с программами как с данными. Метакомпилятор принимает на вход метапрограмму , написанную на специализированных метаязыках (абстракция более высокого уровня), специально разработанных для целей метапрограммирования. На выходе получается исполняемая объектная программа.

Можно провести аналогию: как компилятор C++ принимает на вход C++ программу на языке программирования , так и метакомпилятор принимает на вход метаязыке метапрограммирования программу на .

Форт-метакомпилятор

Многие сторонники языка Форт называют процесс создания новой реализации Форта метакомпиляцией и что он представляет собой метакомпилятор. Определение метакомпилятора в Форте:

«Метакомпилятор — это компилятор, который обрабатывает свой собственный исходный код, в результате чего создается его исполняемая версия».

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

Когда (автономный компилятор) X обрабатывает свой собственный исходный код, в результате чего создается его исполняемая версия, X является метакомпилятором.

Просто замените X на любой распространенный язык: C, C++, Pascal , COBOL , Fortran , Ada , Modula-2 и т. д. И X будет метакомпилятором в соответствии с использованием метакомпилятора в Форте. Метакомпилятор работает на уровне абстракции над компилятором, который он компилирует. Он работает только на том же уровне (автономный компилятор) при компиляции. Нужно увидеть проблему с этим определением метакомпилятора. Его можно применить практически к любому языку.

Однако, рассматривая концепцию программирования на Форте, добавление новых слов в словарь, расширение языка таким образом — это метапрограммирование. Именно это метапрограммирование в Форте делает его метакомпилятором.

Программирование на Форте — это добавление в язык новых слов. Изменение языка таким способом — это метапрограммирование . Форт — это метакомпилятор, потому что Форт — это язык, специально разработанный для метапрограммирования. Программирование на Форте расширяет возможности Форта. Добавление слов в словарь Форта создает новый диалект Форта . Форт — специализированный метакомпилятор для диалектов языка Форт.

История

Разработка оригинального компилятора Компилятор был начат Тони Брукером и Дерриком Моррисом в 1959 году, а первоначальное тестирование началось в марте 1962 года. Компилятор Brooker's Compiler использовался для создания компиляторов для нового Atlas компьютера в Манчестерском университете , для нескольких языков: Mercury Autocode , Extended Mercury Autocode, Atlas Autocode , ALGOL 60 и ASA Fortran . Примерно в то же время подобную работу выполняли инопланетянин (Нед) Айронс в Принстоне и Алик Гленни из Научно-исследовательского центра по атомному оружию в Олдермастоне, чья статья «Синтаксическая машина» (рассекреченная в 1977 году) вдохновила на создание серии систем письма-переводчика META. упомянуто ниже.

Ранняя история метакомпиляторов тесно связана с историей рабочей группы SIG/PLAN 1 по компиляторам, управляемым синтаксисом. Группа была основана в первую очередь усилиями Говарда Меткалфа в районе Лос-Анджелеса. Осенью 1962 года Говард Меткалф разработал два интерпретатора, пишущих компиляторы. Один из них использовал технику анализа снизу вверх, основанную на методе, описанном Ледли и Уилсоном. Другой использовал подход сверху вниз, основанный на работе Гленни, для генерации случайных английских предложений на основе контекстно-свободной грамматики.

В то же время Вэл Шорре описал две «метамашины»: генеративную и аналитическую. Была реализована генеративная машина, которая выдавала случайные алгебраические выражения. Meta I, первый метакомпилятор, был реализован Шорром на IBM 1401 в Калифорнийском университете в Лос-Анджелесе в январе 1963 года. Его оригинальные интерпретаторы и метамашины были написаны непосредственно на псевдомашинном языке. META II , однако, была написана на метаязыке более высокого уровня, способном описывать собственную компиляцию на псевдомашинном языке.

Ли Шмидт из Bolt, Beranek и Newman в марте 1963 года написал метакомпилятор, который использовал ЭЛТ-дисплей на PDP-1 с разделением времени. Этот компилятор создавал реальный машинный код, а не интерпретирующий код, и был частично заимствован из Meta I.

Шорре загрузил Meta II из Meta I весной 1963 года. Статья об усовершенствованной системе метакомпилятора, представленная на конференции ACM в Филадельфии в 1964 году, является первой статьей о метакомпиляторе, доступной в качестве общего справочника. Синтаксис и техника реализации системы Шорре заложили основу для большинства последующих систем. Система была реализована на небольшом процессоре 1401 и использовалась для реализации небольшого языка, подобного АЛГОЛу .

Сразу же последовало множество подобных систем.

Роджер Рутман из AC Delco разработал и внедрил LOGIK, язык для логического моделирования, на IBM 7090 в январе 1964 года. Этот компилятор использовал алгоритм, который создавал эффективный код для логических выражений.

Другая статья в материалах ACM 1964 года описывает Meta III , разработанную Шнайдером и Джонсоном в Калифорнийском университете в Лос-Анджелесе для IBM 7090. Meta III представляет собой попытку создать эффективный машинный код для большого класса языков. Meta III была полностью реализована на языке ассемблера. Два компилятора были написаны на Meta III: CODOL, демонстрационный компилятор, пишущий компиляторы, и PUREGOL, диалект АЛГОЛА 60. (Называть его АЛГОЛом было чистой воды наглостью).

В конце 1964 года Ли Шмидт загрузил метакомпилятор EQGEN с PDP-1 на Beckman 420. EQGEN был языком генерации логических уравнений.

В 1964 году System Development Corporation начала крупные усилия по разработке метакомпиляторов. Эти усилия включают в себя мощные метакомпиляторы Bookl и Book2, написанные на Lisp , которые обладают обширными возможностями поиска по дереву и резервного копирования. Результатом одной из систем Q-32 в SDC является Meta 5. Система Meta 5 включает в себя резервное копирование входного потока и множество других средств для анализа любого контекстно-зависимого языка. Эта система была успешно выпущена для широкого круга пользователей и имела множество приложений для работы со строками, помимо компиляции. Он имеет множество сложных стеков с выталкиванием вниз, средства настройки и тестирования атрибутов, а также механизмы вывода. Тот факт, что Meta 5 успешно переводит JOVIAL программы в программы PL/I , демонстрирует его мощь и гибкость.

Роберт МакКлюр из Texas Instruments изобрел компилятор-компилятор под названием TMG (представлен в 1965 году). TMG использовался для создания первых компиляторов для таких языков программирования, как B , PL/I и ALTRAN . Вместе с метакомпилятором Вэла Шорра он послужил ранним источником вдохновения для последней главы книги Дональда Кнута « Искусство компьютерного программирования» .

Система LOT была разработана в 1966 году в Стэнфордском исследовательском институте и очень похожа на Meta II. У него были новые конструкции специального назначения, позволяющие генерировать компилятор, который, в свою очередь, мог компилировать подмножество PL/I. Эта система имела обширные возможности сбора статистики и использовалась для изучения характеристик нисходящего анализа.

SIMPLE — это специализированная система-транслятор, предназначенная для помощи в написании препроцессоров для PL/I. SIMPLE, написанная на PL/I, состоит из трех компонентов: исполнительного механизма, синтаксического анализатора и семантического конструктора.

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

Концепция метамашины, первоначально выдвинутая Гленни, настолько проста, что было разработано три аппаратных варианта и одна фактически реализована. Последний в Вашингтонском университете в Сент-Луисе. Эта машина была построена из макромодульных компонентов и имеет в качестве инструкций коды, описанные Шорре.

CWIC (Компилятор для написания и реализации компиляторов) — последний известный метакомпилятор Шорре. Он был разработан в Systems Development Corporation Эрвином Буком, Дьюи Вэлом Шорром и Стивеном Дж. Шерманом. Благодаря полной мощности (lisp 2) алгоритмы оптимизации языка обработки списков могли работать со списками и деревьями, сгенерированными синтаксисом, перед генерацией кода. В CWIC также была встроена таблица символов.

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

Другими примерами генераторов парсеров в духе yacc являются ANTLR , Coco/R , ЧАШКА, GNU Bison , т.е. ФСЛ, SableCC , SID (Устройство улучшения синтаксиса), и JavaCC . Генераторы чистого синтаксического анализа, хотя и полезны, решают только часть проблемы построения компилятора, связанную с анализом. Инструменты более широкого применения, такие как PQCC , Coco/R и DMS Software Reengineering Toolkit, обеспечивают значительную поддержку более сложных действий после анализа, таких как семантический анализ, оптимизация и генерация кода.

Метаязыки Шорре

Самые ранние метакомпиляторы Шорре, META I и META II, были разработаны Д. Вэлом Шорром из Калифорнийского университета в Лос-Анджелесе. За ним последовали и другие метакомпиляторы на основе Шорре. Каждый из них добавляет улучшения в анализ языка и/или генерацию кода.

В программировании принято использовать имя языка программирования для обозначения как компилятора, так и языка программирования, причем значение различается контекстом. Программа C++ компилируется с помощью компилятора C++. Это также относится и к следующему. Например, META II является одновременно компилятором и языком.

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

Синтаксическое уравнение:

<имя> = <тело>; 

— это скомпилированная тестовая функция, возвращающая успех или неудачу . <имя> — имя функции. <body> — это форма логического выражения, состоящая из тестов, которые могут быть сгруппированы, иметь альтернативы и выводить результаты. тест : похож на логическое значение В других языках успех — это правда , а провал — ложь .

Определение языка программирования аналитически сверху вниз вполне естественно. Например, программу можно определить как:

 программа = $объявление;
 

Определение программы как последовательности из нуля или более объявлений.

В языках Schorre META X есть правило движения. Приведенное выше правило программы является примером правила вождения. Программное правило — это тестовая функция, которая вызывает объявление, тестовое правило, которое возвращает успех или неудачу . Оператор цикла $ неоднократно вызывает объявление до тех пор, пока не будет возвращен отказ . Оператор $ всегда успешен, даже если имеется нулевое объявление. Вышеуказанная программа всегда будет возвращать успех. (В CWIC длинный сбой может обойти объявление. Длинный сбой является частью системы обратного отслеживания CWIC)

Наборы символов этих ранних компиляторов были ограничены. Символ / использовался для альтернативного оператора (или). «A или B» записывается как A / B. Для группировки используются круглые скобки ( ).

А (Б/С)
 

Описывает конструкцию A, за которой следует B или C. В качестве логического выражения это будет

А  и  (В  или  С)
 

Последовательность XY имеет подразумеваемое значение X и Y. ( ) — группировка и / оператор или . Порядок оценки всегда слева направо, поскольку последовательность входных символов определяется порядком тестов.

Специальные слова-операторы, первый символ которых — "." используются для ясности. .EMPTY используется в качестве последней альтернативы, когда предыдущая альтернатива не требуется.

X (A / B / .ПУСТОЙ)
 

Указывает, что за X опционально следует A или B. Это особенность этих метаязыков, являющихся языками программирования. Вышеупомянутое позволяет избежать возврата. Другие системы конструкторов компиляторов могли объявить три возможные последовательности и оставить их на усмотрение синтаксического анализатора.

Характеристики метаязыков метапрограммирования, описанных выше, являются общими для всех метакомпиляторов Шорре и производных от них.

МЕТА I

META I представлял собой метакомпилятор, скомпилированный вручную, который использовался для компиляции META II. О META I мало что известно, за исключением того, что первоначальная компиляция META II создала почти идентичный код коду компилятора META I, написанного вручную.

МЕТА II

Основная статья: МЕТА II

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

Выходные продукты создавали форму ассемблерного кода непосредственно из правила синтаксиса.

ДЕРЕВО-МЕТА

Основная статья: ДЕРЕВО-МЕТА

операторы построения дерева : <node_name> , и [ <number> В TREE-META представлены ] перемещающие выходные производственные преобразования в неанализируемые правила. Операторы построения дерева использовались в правилах грамматики, непосредственно преобразуя входные данные в абстрактное синтаксическое дерево . Правила разбора также являются проверочными функциями, соответствующими древовидным шаблонам. Правила разбора вызываются из правила грамматики, когда абстрактное синтаксическое дерево должно быть преобразовано в выходной код. Построение абстрактного синтаксического дерева и правил разбора позволило выполнить локальную оптимизацию путем анализа дерева разбора.

Перенос вывода продукции в правила unparse позволил четко разделить анализ грамматики и создание кода. Это облегчило чтение и понимание программы.

ЦВИК

В 1968–1970 годах Эрвин Бук, Дьюи Вэл Шорре и Стивен Дж. Шерман разработали CWIC. (Компилятор для написания и реализации компиляторов) в Корпорации развития систем Центре истории информационных технологий Института Чарльза Бэббиджа (Вставка 12, папка 21) ,

CWIC — это система разработки компиляторов, состоящая из трех специализированных, предметно-ориентированных языков, каждый из которых предназначен для прямого описания определенных аспектов перевода. Язык синтаксиса используется для описания распознавания исходного текста и построения из него промежуточной древовидной структуры. Язык генератора используется для описания преобразования дерева в соответствующий объектный язык.

Синтаксический язык соответствует предыдущей линейке метакомпиляторов Дьюи Вэла Шорра. Он больше всего похож на TREE-META с операторами построения дерева в синтаксическом языке. Правила разбора TREE-META расширены для работы с объектно-ориентированным языком генератора на основе LISP 2 .

CWIC включает три языка:

• Синтаксис : Преобразует входные данные исходной программы в структуры списков, используя формулу преобразования грамматики. Разобранная структура выражения передается генератору путем помещения вызова генератора в правило. Дерево . представлено списком, первым элементом которого является объект-узел В языке есть операторы < и > специально для создания списков. Оператор двоеточие : используется для создания узловых объектов. :ADD создает узел ADD. Восклицание ! Оператор объединяет несколько проанализированных записей с узлом для создания дерева . Деревья, созданные правилами синтаксиса, передаются функциям-генераторам, возвращающим успех или неудачу. Синтаксис языка очень близок к TREE-META. Оба используют двоеточие для создания узла. CWIC Восклицательный знак построения дерева !<номер> действует так же, как и восклицательный знак [<номер>] TREE-META.
• Генератор : именованная серия правил преобразования, каждое из которых состоит из правила разбора и сопоставления с образцом. и выходные данные, написанные на языке, подобном LISP 2. перевод осуществлялся в двоичный машинный код IBM 360. Другие возможности обобщенного вывода языка генератора.
• MOL-360 : независимый язык реализации среднего уровня для семейства компьютеров IBM System/360, разработанный в 1968 году и используемый для написания базовой библиотеки поддержки.

Язык генераторов

Язык генераторов имел семантику, аналогичную Lisp . разбора Дерево рассматривалось как рекурсивный список. Общая форма функции языка генератора:

имя-функции(первое-unparse_rule) => first-production_code_generator
            (второе-unparse_rule) => второй-производственный_генератор_кода
            (третье-unparse_rule) => третий-production_code_generator
                ... 

Код для обработки данного дерева включал в себя функции языка программирования общего назначения, а также форму: <stuff>, которая выдавала (stuff) в выходной файл. Вызов генератора может использоваться в unparse_rule. Генератору передается элемент шаблона unparse_rule, в котором он размещен, и его возвращаемые значения перечислены в (). Например:

expr_gen(ADD[expr_gen(x),expr_gen(y)]) =>
                                 <AR + (x*16)+y;>
                                 релизрег (у);
                                 вернуть х;
                (SUB[expr_gen(x),expr_gen(y)])=>
                                 <СР + (x*16)+y;>
                                 релизрег (у);
                                 вернуть х;
                (MUL[expr_gen(x),expr_gen(y)])=>
                               .
                               .
                               .
                (x)=> r1 = getreg();
                             нагрузка (r1, х);
                             вернуть р1;
 ... 

То есть, если дерево синтаксического анализа выглядит так (ADD[<something1>,<something2>]), expr_gen(x) будет вызываться с <something1> и возвращать x. Переменная в правиле unparse — это локальная переменная, которую можно использовать в Production_code_generator. expr_gen(y) вызывается с <something2> и возвращает y. Вот вызов генератора в правиле unparse передает элемент в позиции, которую он занимает. Надеемся, что в приведенном выше примере x и y будут регистры по возвращении. Последнее преобразование предназначено для загрузки атома в регистр и возврата регистра. Первая продукция будет использоваться для генерации инструкции 360 «AR» (Добавить регистр) с соответствующими значениями в общих регистрах. Приведенный выше пример является лишь частью генератора. Каждое выражение генератора оценивает значение, которое затем может быть обработано. Последнее преобразование с таким же успехом можно было бы записать так:

 (x)=> return load(getreg(), x);
 

В этом случае load возвращает свой первый параметр — регистр, возвращаемый функцией getreg(). функции load и getreg являются другими генераторами CWIC.

CWIC обращался к -ориентированным языкам термин предметно-ориентированный язык появился

От авторов CWIC:

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

Примеры

См. также: Сравнение генераторов парсеров.

• АНТЛР
• ГНУ Бизон
• Коко/Р , Коко-2
• DMS Software Reengineering Toolkit — система преобразования программ с генераторами парсеров.
• Эпсилон Грамматическая Студия
• Lemon Генератор парсера
• LRSTAR: генератор парсера LR(*)
• МЕТА II
• parboiled — библиотека Java для создания парсеров.
• Парсер Packrat
• PQCC — компилятор-компилятор, который представляет собой нечто большее, чем просто генератор синтаксического анализатора.
• Устройство улучшения синтаксиса (SID)
• SYNTAX — интегрированный набор инструментов для создания компиляторов.
• ДЕРЕВО-МЕТА
• Якк
• Xтекст
• XPL
• JavaCC

См. также

• Разбор грамматики выражений
• LL-парсер
• LR-парсер
• Простой парсер LR
• LALR-парсер
• GLR-парсер
• Анализ домена
• Язык, специфичный для предметной области
• История создания компилятора
  • История создания компилятора # Самостоятельные компиляторы
• Метакомпиляция
• Трансформация программы

Дальнейшее чтение

• Брукер, РА ; МакКаллум, ИК; Моррис, Д.; Рол, Дж. С. (1963). «Компилятор-компилятор» (PDF) . Ежегодный обзор автоматического программирования . 3 : 229–275. дои : 10.1016/S0066-4138(63)80009-9 .
• Брукер, Р.А. ; Моррис, Д.; Рол, Дж. С. (февраль 1967 г.). «Опыт работы с компилятором» (PDF) . Компьютерный журнал . 9 : 350. дои : 10.1093/comjnl/9.4.350 . Проверено 7 мая 2021 г.
• Нэппер, РБ Э (декабрь 1965 г.). Введение в компилятор Компилятор (PDF) .
• Маккаллум, ИК (январь 1963 г.). Некоторые аспекты реализации компилятора на ATLAS (PDF) (Диссертация).
• Джонсон, Стивен К. (июль 1975 г.). Yacc — еще один компилятор-компилятор . Мюррей-Хилл, Нью-Джерси, США: Bell Laboratories . Технический отчет по информатике 32.
• Маккиман, Уильям М.; Хорнинг, Джеймс Дж .; Вортман, Дэвид Б. (1970). Генератор компилятора . Энглвуд Клиффс, Нью-Джерси, США: Прентис-Холл . ISBN  978-0-13-155077-3 . Проверено 13 декабря 2012 г.

Внешние ссылки

• Тони Брукер и компилятор Atlas Compiler
• Объяснение компилятора. Листинги компиляторов (1963 г.)
• Компилятор Исходный код компилятора (начинается со страницы PDF 182)
• Блок-схемы оригинального компилятора
• Computer50.org , Автокоды Брукера
• Catalog.compilertools.net. Архивировано 13 августа 2011 г. на Wayback Machine , Каталог инструментов для создания компиляторов.
• Labraj.uni-mb.si , Лиза
• Ресурсы Skenz.it , Jflex и Cup (на итальянском языке)