scientific article; zbMATH DE number 1693488

MaRDI QIDQ2764063zbMATH OpenFDO

Authors David Lacey, Oege de Moor

Publication date 22 January 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2027/20270052

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of compilers and interpreters (68N20) Grammars and rewriting systems (68Q42)

Recommendations

• Compiler optimization correctness by temporal logic
• Program transformation and rewriting
• Building program optimizers with rewriting strategies
• Imperative-program transformation by instrumented-interpreter specialization
• A survey of rewriting strategies in program transformation systems

Cited in

(12)

• Compiler optimization correctness by temporal logic
• Pattern eliminating transformations
• A higher-order strategy for eliminating common subexpressions
• A survey of rewriting strategies in program transformation systems
• Program transformation and rewriting
• Specification languages in algebraic compilers
• Building program optimizers with rewriting strategies
• Rewriting of imperative programs into logical equations
• Imperative-program transformation by instrumented-interpreter specialization
• A survey of strategies in rule-based program transformation systems
• Silver: an extensible attribute grammar system
• Term-graph rewriting in \textsc{Tom} using relative positions

This page was built for publication:

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