A parallel programming language supporting symbolic computation on SMP workstations.

Provides front ends (parsers/analyzers and transformation tools) for conventional programming languages such as C, C++, COBOL and Java. Links to description of underlying DMS engine and related tools.

A tool for collection test coverage on large Java Systems. Works with Java, Realtime Java, and embedded JVMs. [Commercial]

Tool for prettyprinting JavaScript to make it more readable, or conversely, obfuscating it to prevent reverse-engineering. [Commercial]

Converts source code written in JOVIAL to functionally equivalent source code in C taking advantage of some GNU 3.0 extensions of C. Examples of source code translation.

Enables the construction of JOVIAL custom compilers, analysis tools, or source transformation tools. It is a member of SD's family of language front ends, based on first-class infrastructure (DMS) for implementing such custom tools.

Tools to prettyprint PHP and make it more readable, or to obfuscate the source and make it difficult to reverse-engineer. [Commercial]

Tool for prettyprinting VBScript to make it more readable, or conversely, for obfuscating VBScript to make it difficult to reverse engineer. [Commercial]

The tools, which provide statistics and detailed information about which parts of an application program have been executed, are available for standard languages (C, C++, C#, Java, COBOL), other languages are possible. A white paper shows how to imple...