Re: Source to source translator.

amzal@prof.inria.fr (Mokrane Amzal) writes:
|> Do anybody have ever heard about a system which allows abstract tree
|> rewriting based on rules given in high level language ?


TXL
see ftp://ftp.qucis.queensu.ca/pub/txl


TXL 7.4, (c)1988-1993 Queen's University at Kingston
-----------------------------------------------------


TXL is a programming language specifically designed to support
transformational programming. The basic paradigm of TXL involves transforming
input to output using a set of transformation rules that describe by example
how different parts of the input are to be changed into output. Each TXL
program defines its own context free grammar according to which the input is
to be broken into parts, and rules are constrained to preserve grammatical
structure in order to guarantee a well-formed result.


The TXL processor is a general purpose source transformation system that has
been well suited to a wide class of computational problems. TXL has been
used for rapid prototyping of new language parsers, semantic analyzers,
translators, transliterators and interpreters; rapid prototyping of new and
domain-directed features and dialects in existing languages; software code
analysis and design recovery; software restructuring and remodularization;
metaprogramming and retroactive software reuse; source-level optimization and
parallelization; inter-paradigm program transformation; logical formula
simplification and interpretation; program instrumentation and measurement;
program normalization and structural comparison.


TXL 7.4 comes with fully portable ANSI C source, documentation,
manual entries, installation and self-instruction scripts, and a number of
examples of its use in various applications.


J.R. Cordy
Queen's University, Kingston, Canada
txl@qucis.queensu.ca




--
Colas Nahaboo, Koala, BULL @ INRIA Sophia, http://www.inria.fr/koala/colas


--

Return to the comp.compilers page.
Search the comp.compilers archives again.