Global Data Flow Analysis and Iterative Algorithms
From MaRDI portal
Lua error in Module:PublicationMSCList at line 28: attempt to call field 'getDbData' (a nil value).
Lua error in Module:PublicationShowAbstract at line 21: attempt to call field 'getDbData' (a nil value).
Cited in
(23)- Slicing communicating automata specifications: Polynomial algorithms for model reduction
- Efficient symbolic analysis of programs
- Transitive closure and related semiring properties via eliminants
- A strong-connectivity algorithm and its applications in data flow analysis
- Pathlistings applied to data flow analysis
- Finite constants: Characterizations of a new decidable set of constants
- Node listings for reducible flow graphs
- Algebraic structures for transitive closure
- Finding the depth of a flow graph
- Monotone data flow analysis frameworks
- Correctness of fixpoint transformations
- A class of polynomially solvable range constraints for interval analysis without widenings
- Automated formal analysis and verification: an overview
- Combining model checking and data-flow analysis
- A composite hoisting-strength reduction transformation for global program optimization part I
- A composite hoisting-strength reduction transformation for global program optimization part ii
- Convergence of chaotic iterative least fixed point computations
- Mechanized verification of computing dominators for formalizing compilers
- May-happen-in-parallel analysis for actor-based concurrency
- On the convergence rate of linear Datalog^ over stable semirings
- Convergence of datalog over (pre-) semirings
- A region analysis algorithm for the live variables problem
- Properties of data flow frameworks: A unified model
This page was built for publication: Global Data Flow Analysis and Iterative Algorithms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4076758)
