TermWare

TermWare - это система обработки термов, предназначенная для встраивания в Java приложения.

Основные области применения:
  - построение проблемно-ориентированных языков сверхвысокого уровня.
  - системы компьютерной алгебры.
  - анализ и преобразования формальных моделей разного рода.
  - програмная инженерия.

В TermWare реализована концепция терминальных систем - объектных структур (типа монад или сигнатур) и правил переписывания c явными акциями взаимодействия с базой знаний. Это позволяет естественным образом совместить как математическую, так и императивную составляющую семантики программирования.

TermWare представляет собой Java библиотеку, предоставляющая доступ к интерпретатору языка TermWare и API работы с терминальными системами.

Также поставляется простой драйвер командной строки.

Документация

Описание API:	англ.: [html]
Семантика	англ.: [html] рус.: [html]
Описание встроенных функций:	англ.: [html]
Заметки по реализации jsr223:	англ.: [html] рус.: [html]
Заметки по реализации jsr94:	англ.: [html] рус.: [html]
Учебник по TermWare:	рус.: [html]
Лицензия:	[html]

Дистрибутив

Инсталлятор с исходными кодами:	[TermWareInstaller-2.3.3.jar]
Просто jar:	[TermWare-2.3.3.jar]

Java printer/parser plugin.

Иcходные коды:	[TermWareJPP-src-1.1.4.tar.gz]
jar:	[TermWareJPP-1.1.4.jar]

Graphviz printer/parser plugin.

Иcходные коды:	[TermWareDot-src-1.1.2.tar.gz]
jar:	[TermWareDot-1.1.2.jar]

Разное:

Страница проекта	redmine
Статьи	...