Analysis of Recursive Game Graphs Using Data Flow Equations
Abstract elided by the publisher.
Related papers
- Incremental Data Flow Analysis POPL 1983
- Incremental Data-Flow Analysis TOPLAS 1988
- Modular Strategies for Recursive Game Graphs TACAS 2003
- Modular Strategies for Infinite Games on Recursive Graphs CAV 2003
- Solving systems of rational equations through strategy iteration TOPLAS 2011
- Interaction trees: representing recursive and impure programs in Coq POPL 2020
- Quasipolynomial Computation of Nested Fixpoints TACAS 2021
- A Precise Interprocedural Data Flow Algorithm POPL 1981