Monotone data flow analysis frameworks

DOI10.1007/BF00290339zbMath0375.68020MaRDI QIDQ1245693

John B. Kam, Jeffrey D. Ullman

Publication date: 1977

Published in: Acta Informatica (Search for Journal in Brave)

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Related Items

Search for invariant linear relationships in programs, Efficient symbolic analysis of programs, Using postdomination to reduce space requirements of data flow analysis, Program reduction allowing for additional specifications, Iterative methods of program analysis, Eliminating partially dead code in explicitly parallel programs, Bidirectional data flow analysis for type inferencing., Symbolic abstract heaps for polymorphic information-flow guard inference, The Birth of Model Checking, Abstract Interpretation with Applications to Timing Validation, Applying abstract acceleration to (co-)reachability analysis of reactive programs, Properties of data flow frameworks: A unified model, Mixed computation and compilation: New approaches to old problems, Static analysis of IMC, Finite constants: Characterizations of a new decidable set of constants, Dataflow Analysis for Datarace-Free Programs, Data flow analysis of asynchronous systems using infinite abstract domains, On the computational complexity of data flow analysis over finite bounded meet semilattices, Time Stamps for Fixed-Point Approximation, A security flow control algorithm and its denotational semantics correctness proof, XML graphs in program analysis, Demand-driven interprocedural analysis for map-based abstract domains, Transfer Function Synthesis without Quantifier Elimination, Program Analysis Using Weighted Pushdown Systems, The tree equivalence of linear recursion schemes, A region analysis algorithm for the live variables problem, Intensional Kleene and Rice theorems for abstract program semantics, Automated formal analysis and verification: an overview, Transformational derivation of an improved alias analysis algorithm, Semantics-directed program analysis: A tool-maker's perspective

Cites Work

• Fast algorithms for the elimination of common subexpressions
• Global Data Flow Analysis and Iterative Algorithms
• A Fast and Usually Linear Algorithm for Global Flow Analysis
• A Simple Algorithm for Global Data Flow Analysis Problems
• A global flow analysis algorithm
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item