Re: Source to source translator.

amzal@prof.inria.fr (Mokrane Amzal) wrote:


> Do anybody have ever heard about a system which allows abstract tree
> rewriting based on rules given in high level language ?


At work, we use cback to do C->C transformations on cfront output.
These result in smaller object files, and more easily debuggable
binaries (mangling is minimized for automatic variables, so you
don't have to guess about __<n> prefixes).


Cback is driven by a rule-set; I am not sure whether some parts of
it are hardcoded. For more info try sending email to newcode.com.
They should have an info@newcode.com, or something of that sort.


If you just want to deal with syntax trees, you can easily develop
the rewriting system yourself in LISP, using lists to represent
trees. The exercise is a standard introductory course homework
for LISP-related topics (AI and compilers/interpreters). For really
elaborate works, you may wish to look at the sources for extend-syntax,
syntax-case, and the other macro proposals for Scheme. I don't have the
URL for the Scheme repository handy, but you can find it by scanning
comp.lang.scheme.
--
Antoun (Tony) Kanawati
tonyk@cybercom.net


--

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