Re: Source to source translator. (Colas Nahaboo)
Tue, 5 Sep 1995 13:44:04 GMT

          From comp.compilers

Related articles
Source to source translator. (1995-08-30)
Re: Source to source translator. johnm@soda.CSUA.Berkeley.EDU (1995-09-04)
Re: Source to source translator. (1995-09-05)
Re: Source to source translator. (1995-09-07)
Re: Source to source translator. (1995-09-16)
| List of all articles for this month |

Newsgroups: comp.compilers
From: (Colas Nahaboo)
Keywords: translator
Organization: Koala Project, Bull Research France
References: 95-09-033
Date: Tue, 5 Sep 1995 13:44:04 GMT (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 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

Colas Nahaboo, Koala, BULL @ INRIA Sophia,


Post a followup to this message

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