Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

LISP
2008

favoriteEmaildiscussreport

72views more LISP 2008»

Imperative-program transformation by instrumented-interpreter specialization

13 years 4 months ago

Imperative-program transformation by instrumented-interpreter specialization

Download www.itu.dk

We describe how to implement strength reduction, loop-invariant code motion and loop quasi-invariant code motion by specializing instrumented interpreters. To curb code duplication intrinsic to such specialization, we introduce a new program transformation, rewinding, which uses Moore-automata minimization to remove duplicated code.

Søren Debois

Real-time Traffic

Code Motion | LISP 2008 | Loop-invariant Code Motion | Quasi-invariant Code Motion |

claim paper

Related Content

» Imperative program optimization by partial evaluation

» Forward Slicing by Conjunctive Partial Deduction and Argument Filtering

» Consistency techniques for interprocedural test data generation

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2008
Where	LISP
Authors	Søren Debois

Comments (0)