Мета-среда ASF + SDF

редактировать

Мета-среда ASF + SDF

Разработчики)	Группа SEN1 [1] в CWI [2]

Стабильный выпуск	2.0.3 / 13 ноября 2008 г.

Операционная система	Linux, Unix
Тип	система преобразования программ
Лицензия	BSD, LGPL
Интернет сайт	http://www.meta-environment.org/

Мета-среда ASF + SDF - это IDE и набор инструментов для интерактивного анализа и преобразования программ. Он сочетает в себе SDF ( формализм определения синтаксиса ), ASF ( формализм алгебраической спецификации ) и другие технологии.

Некоторые особенности:

Анализ программы
Трансформация программы
Создание интерактивных сред программирования ( IDE )
Визуализация деревьев синтаксического анализа
Довольно поколение принтеров

Составные части:

MetaStudio, IDE
Pgen синтаксического анализа таблицы генератор
Бессканерный парсер GLR (SGLR) для синтаксического анализа терминов по грамматикам SDF
Генератор парсера SGLR для SDF
ASF, допускает переопределение терминов и автоматический обход общего дерева
Условия для представления общих данных
ApiGen, генерирует строго типизированные API на C и Java
Архитектура ToolBus для подключения различных инструментов

ToolBus - это архитектура взаимодействия компонентов (что-то вроде D-Bus или CORBA ), основанная на формализме алгебры процессов. ATerms - это общий формат представления данных, который очень эффективен с точки зрения использования ресурсов благодаря максимальному совместному использованию подтерм и автоматической сборке мусора. Он используется в большинстве инструментов в наборе инструментов, а API-интерфейсы предоставляются на языках C и Java, поэтому разработчики могут использовать его в своих собственных приложениях.

Смотрите также

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