Monotone data flow analysis frameworks
From MaRDI portal
Publication:1245693
DOI10.1007/BF00290339zbMATH Open0375.68020MaRDI QIDQ1245693FDOQ1245693
Authors: John B. Kam, Jeffrey D. Ullman 
Publication date: 1977
Published in: Acta Informatica (Search for Journal in Brave)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Simple Algorithm for Global Data Flow Analysis Problems
- Title not available (Why is that?)
- Fast algorithms for the elimination of common subexpressions
- A Fast and Usually Linear Algorithm for Global Flow Analysis
- Global Data Flow Analysis and Iterative Algorithms
- Title not available (Why is that?)
- A global flow analysis algorithm
- Title not available (Why is that?)
Cited In (32)
- Search for invariant linear relationships in programs
- Intensional Kleene and Rice theorems for abstract program semantics
- XML graphs in program analysis
- Iterative methods of program analysis
- The Birth of Model Checking
- Finite constants: Characterizations of a new decidable set of constants
- Program Analysis Using Weighted Pushdown Systems
- The tree equivalence problem for linear recursion schemes
- Using postdomination to reduce space requirements of data flow analysis
- Time stamps for fixed-point approximation
- Properties of data flow frameworks: A unified model
- Make flows small again: revisiting the flow framework
- Applying abstract acceleration to (co-)reachability analysis of reactive programs
- Efficient symbolic analysis of programs
- Eliminating partially dead code in explicitly parallel programs
- Automated formal analysis and verification: an overview
- Dataflow analysis for datarace-free programs
- Static analysis of IMC
- Bidirectional data flow analysis for type inferencing.
- Program reduction allowing for additional specifications
- Demand-driven interprocedural analysis for map-based abstract domains
- Mixed computation and compilation: New approaches to old problems
- Transfer function synthesis without quantifier elimination
- Semantics-directed program analysis: a tool-maker's perspective
- Abstract Interpretation with Applications to Timing Validation
- A region analysis algorithm for the live variables problem
- A security flow control algorithm and its denotational semantics correctness proof
- Data flow analysis of asynchronous systems using infinite abstract domains
- The tree equivalence of linear recursion schemes
- Transformational derivation of an improved alias analysis algorithm
- On the computational complexity of data flow analysis over finite bounded meet semilattices
- Symbolic abstract heaps for polymorphic information-flow guard inference
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)
