How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems
No abstract available.
Related papers
- Reference attribute grammar controlled graph rewriting: motivation and overview SLE 2015
- Graph rewrite systems for program optimization TOPLAS 2000
- A Rewriting Semantics for Program Dependence Graphs POPL 1989
- Computer Experiments with the Reve Term Rewriting System Generator POPL 1983
- Hoopl: a modular, reusable library for dataflow analysis and transformation Haskell 2010
- Safety of Strictness Analysis via Term Graph Rewriting SAS 2000
- Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories JFP 2001
- Transformation techniques for context-sensitive rewrite systems JFP 2004