Grad-Soft Technology Provider.

Russian
News
Articles
Know-how
Services
Products
for business
for developers
price-list
obsolete
Contacts
For clients
 search

TermWare

TermWare is a rule processing engine intended for embedding into Java applications.

Main range of applications:
  - problem-oriented languages (or DSL, from domain-specific) development.
  - computer algebra systems.
  - various formal models analysis and transformation.
  - software engineering.

TermWare implements terminal systems concept.

Concept of such systems as object structures (of monad type or of signature type) and rewriting rules with evident knowledgebase interaction actions. The concept implementation allows to unite mathematical and imperative programming semantics components.

TermWare is Java library, that provides access to TermWare language interpreter and terminal systems operation API. Also simple command line driver is included.

Documentation
Description of API: eng.: [html]
Semantics eng.: [html] rus.: [html]
Description of built-in functions: eng.: [html]
jsr223 implementation notes: eng.: [html]
jsr94 implementation notes: eng.: [html]
Tutorial: eng.: [html]
License: [html]

Downloads
Distributive source: [TermWareInstaller-2.3.3.jar]
Just jars: [TermWare-2.3.3.jar]

Java parser/printer plugin:
Source distributive: [TermWareJPP-src-1.1.4.tar.gz]
jar: [TermWareJPP-1.1.4.jar]

Graphviz dot parser/printer plugin:
Source distributive: [TermWareDot-src-1.1.2.tar.gz]
jar: [TermWareDot-1.1.2.jar]

Links:
Project page: redmine

A Rewriting Framework for Rule-Based Programming Dynamic Applications eng.

Managing Business Logic with Symbolic Computations    rus.    eng.

The system of symbolic computing for programming the dynamic applications    rus.

SourceForge.net Logo

Technical assistance and development: GradSoft™. Copyright 2000-2010.