[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[pept:25] ANNOUNCE: Availability of DMS Software Reengineering Toolkt



The DMS Software Reengineering Toolkit is generalized compiler
technology for automating analysis, modification, and synthesis of
large scale software systems,

DMS includes lexer/parser generators for UNICODE-based langauges,
a GLR-type parser that automatically builds *abstract* syntax trees,
a parallel attribute evaluator, AST prettyprinter, an A/C rewrite engine
using surface-syntax source-to-source rewrites for optimizing or refining
code, and a number of other features.

DMS also has predefined language definitions for many popular
languages: ANSI C/C++ (with preprocessor handling), Java,
Pascal, Ada, Fortran77/90/95, COBOL, XML, etc.
The Spectrum algebraic specification language is also
predefined for DMS.   Other legacy languages, dialects, 
and/or specification languages
are relatively straightforward to define to DMS.

DMS is designed to handle software systems of several million lines, in several
different languages in the same session.

See http://www.semdesigns.com/Products/DMS/DMSToolkit.html.

Ira Baxter, Ph.D., CTO  idbaxter@semdesigns.com 512-250-1018x140
Semantic Designs, Inc., www.semdesigns.com FAX 512-250-1191
12636 Research Blvd #C214, Austin, Texas 78759