Monotone data flow analysis frameworks
From MaRDI portal
Cites work
- A Fast and Usually Linear Algorithm for Global Flow Analysis
- A global flow analysis algorithm
- A Simple Algorithm for Global Data Flow Analysis Problems
- Fast algorithms for the elimination of common subexpressions
- Global Data Flow Analysis and Iterative Algorithms
- scientific article; zbMATH DE number 3485226 (Why is no real title available?)
- scientific article; zbMATH DE number 3551830 (Why is no real title available?)
- scientific article; zbMATH DE number 3596231 (Why is no real title available?)
- scientific article; zbMATH DE number 3311755 (Why is no real title available?)
- scientific article; zbMATH DE number 3388535 (Why is no real title available?)
Cited in
(34)- Efficient symbolic analysis of programs
- Eliminating partially dead code in explicitly parallel programs
- Finite constants: Characterizations of a new decidable set of constants
- A security flow control algorithm and its denotational semantics correctness proof
- Bidirectional data flow analysis for type inferencing.
- The tree equivalence of linear recursion schemes
- Demand-driven interprocedural analysis for map-based abstract domains
- Program reduction allowing for additional specifications
- On the computational complexity of data flow analysis over finite bounded meet semilattices
- Intensional Kleene and Rice theorems for abstract program semantics
- Data flow analysis of asynchronous systems using infinite abstract domains
- Automated formal analysis and verification: an overview
- Dataflow analysis for datarace-free programs
- The Birth of Model Checking
- Abstract Interpretation with Applications to Timing Validation
- Search for invariant linear relationships in programs
- Iterative methods of program analysis
- Applying abstract acceleration to (co-)reachability analysis of reactive programs
- Static analysis of IMC
- Time stamps for fixed-point approximation
- Semantics-directed program analysis: a tool-maker's perspective
- XML graphs in program analysis
- Program Analysis Using Weighted Pushdown Systems
- Transfer function synthesis without quantifier elimination
- Symbolic abstract heaps for polymorphic information-flow guard inference
- Make flows small again: revisiting the flow framework
- The tree equivalence problem for linear recursion schemes
- Data-flow analyses as effects and graded monads
- A Rice's theorem for abstract semantics
- A region analysis algorithm for the live variables problem
- Transformational derivation of an improved alias analysis algorithm
- Using postdomination to reduce space requirements of data flow analysis
- Properties of data flow frameworks: A unified model
- Mixed computation and compilation: New approaches to old problems
This page was built for publication: Monotone data flow analysis frameworks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1245693)
