|Looking for a List of Semantics Directed Compiler Generators email@example.com (Jorgen Iversen) (2001-02-15)|
|Re: Looking for a List of Semantics Directed Compiler Generators firstname.lastname@example.org (Ira D. Baxter) (2001-02-17)|
|From:||"Ira D. Baxter" <email@example.com>|
|Date:||17 Feb 2001 01:30:24 -0500|
|Organization:||Posted via Supernews, http://www.supernews.com|
|Posted-Date:||17 Feb 2001 01:30:24 EST|
You might be interested in the DMS Reengineering Toolkit, which can
use equational rewriting (specified by the domain engineer) to carry
out code generation tasks in arbitrary languages or between langauges.
DMS also offers an algebraic specifciation language, SPECTRUM, in
which one can use some of the axioms as a direct source of the
rewrites. See http://www.semdesigns.com/Products/DMS/DMSToolkit.html.
Ira D. Baxter, Ph.D., CTO email: firstname.lastname@example.org
Semantic Designs, Inc. web: http://www.semdesigns.com
12636 Research Blvd. C-214 voice: (512) 250-1018 x140
Austin, TX 78759-2200 fax: (512) 250-1191
"Jorgen Iversen" <email@example.com> wrote in message
> I'm looking for a list of semantics directed compiler generators. Any
> help is appreciated, so if you happen to know where I can find such a list
> or any related information please let me know.
Return to the
Search the comp.compilers archives again.