scientific article; zbMATH DE number 1693488
From MaRDI portal
Publication:2764063
zbMATH Open0977.68675MaRDI QIDQ2764063FDOQ2764063
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
Title of this publication is not available (Why is that?)
Recommendations
Computing methodologies and applications (68U99) Theory of compilers and interpreters (68N20) Grammars and rewriting systems (68Q42)
Cited In (12)
- Pattern eliminating transformations
- Compiler optimization correctness by temporal logic
- 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)
