Incremental Update for Graph Rewriting
Abstract
International audience
Related papers
- Reference attribute grammar controlled graph rewriting: motivation and overview SLE 2015
- Parallel and Customizable Equality Saturation CC 2026
- Incremental Data Flow Analysis via Dominator and Attribute Updates POPL 1988
- Incremental updates for efficient bidirectional transformations ICFP 2011
- Incremental Attribute Evaluation: A Flexible Algorithm for Lazy Update TOPLAS 1991
- An Efficient Hybrid Algorithm for Incremental Data Flow Analysis POPL 1990
- Incremental Inference for Probabilistic Datalog CAV 2026
- Incremental Data-Flow Analysis TOPLAS 1988