|symbolic interpretation firstname.lastname@example.org (Lorenzo Bettini) (2001-01-11)|
|Re: symbolic interpretation email@example.com.OZ.AU (2001-01-18)|
|Re: symbolic interpretation firstname.lastname@example.org (Ira D. Baxter) (2001-01-18)|
|Re: symbolic interpretation email@example.com (Steven Carroll) (2001-01-18)|
|Re: symbolic interpretation firstname.lastname@example.org (Basile STARYNKEVITCH) (2001-01-19)|
|Re: symbolic interpretation email@example.com.OZ.AU (2001-01-26)|
|From:||"Ira D. Baxter" <firstname.lastname@example.org>|
|Date:||18 Jan 2001 01:05:04 -0500|
|Organization:||Posted via Supernews, http://www.supernews.com|
|Posted-Date:||18 Jan 2001 01:05:04 EST|
I don't about specific papers, but you might be interested in the
DMS Reengineering Toolkit, which is generalized compiler technology
for automating customized analysis and modifications to sources
for large scale software systems.
DMS parses files to ASTs, and then can apply associative-commutative
rewriting using the surface syntax of the target langauge.
(It can do procedural rewriting too, but everybody does that).
This can be used, for example, to simplify C++ preprocessor conditionals
when a configuration variable is known to be forever false,
and to drop away the obviously dead branches of the preprocessor
There's lot of other practical applications; we are doing
a factory controller code generator that makes heavy use
of boolean simplifications implemented by rewriting.
I can send you some slides showing roughly how DMS works,
and a number of applications that use (directly or indirectly)
Ira D. Baxter, Ph.D., CTO email: email@example.com
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
"Lorenzo Bettini" <firstname.lastname@example.org> wrote in message
> Do you have any pointer and/or reference to symbolic interpretation in
> compiler writing, please? I would need a specific one, not just a
> generic one.
Return to the
Search the comp.compilers archives again.