Grad-Soft Провайдер технологий.

English
Новости
Статьи
Ноу-хау
Услуги
Продукты
Для бизнеса
Для разработчиков
Прайс-лист
Устаревшие
Контакты
Для клиентов
 поиск

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
Статьи ...

SourceForge.net Logo

Техническая поддержка и разработка: GradSoft™. Copyright 2000-2010.