Strategies for source-to-source constant propagation

MaRDI QIDQ2843613zbMATH OpenFDO

Authors Karina Olmos, Eelco Visser

Publication date 23 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104806054

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Building program optimizers with rewriting strategies
• Precise interprocedural dataflow analysis with applications to constant propagation
• Fusing logic and control with local transformations: an example optimization
• Precise interprocedural dataflow analysis with applications to constant propagation
• scientific article; zbMATH DE number 1722718

Cited in

(1)

• A survey of strategies in rule-based program transformation systems

This page was built for publication: Strategies for source-to-source constant propagation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2843613)