Properties of data flow frameworks: A unified model
From MaRDI portal
DOI10.1007/BF01237234zbMATH Open0695.68049OpenAlexW2062764376MaRDI QIDQ910237FDOQ910237
Barbara G. Ryder, Thomas J. jun. Marlowe
Publication date: 1990
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01237234
Recommendations
Cites Work
- Title not available (Why is that?)
- Constructive versions of Tarski's fixed point theorems
- Title not available (Why is that?)
- Applications of Path Compression on Balanced Trees
- Testing flow graph reducibility
- Title not available (Why is that?)
- Flow Graph Reducibility
- Title not available (Why is that?)
- Program Slicing
- The program dependence graph and its use in optimization
- Monotone data flow analysis frameworks
- A program data flow analysis procedure
- An efficient general iterative algorithm for dataflow analysis
- Efficient symbolic analysis of programs
- Title not available (Why is that?)
- The Theoretical Aspects of the Optimal Fixedpoint
- Properties of data flow frameworks: A unified model
- Title not available (Why is that?)
- Fast Algorithms for Solving Path Problems
- The optimal approach to recursive programs
- Sometime = always + recursion \(\equiv\) always. On the equivalence of the intermittent and invariant assertions methods for proving inevitability properties of programs
- A Fast and Usually Linear Algorithm for Global Flow Analysis
- An empirical study of FORTRAN programs
- A Unified Approach to Path Problems
- Global Data Flow Analysis and Iterative Algorithms
- Program derivation by fixed point computation
- Title not available (Why is that?)
- Global optimization by suppression of partial redundancies
- Automatic translation of FORTRAN programs to vector form
- A simple fixpoint argument without the restriction to continuity
- Conditions for incremental iteration: Examples and counterexamples
- Monoids for Rapid Data Flow Analysis
- Symbolic Program Analysis in Almost-Linear Time
- A Lubricant for Data Flow Analysis
- Register Assignment Algorithm for Generation of Highly Optimized Object Code
- Title not available (Why is that?)
Cited In (14)
- On the computational complexity of dynamic graph problems
- Fixing Zeno gaps
- Least solutions of equations over N
- Properties of data flow frameworks: A unified model
- A framework for memory efficient context-sensitive program analysis
- Bidirectional data flow analysis for type inferencing.
- Reflexive transitive invariant relations: A basis for computing loop functions
- Application of static analyses for state-space reduction to the microcontroller binary code
- Mathematics for reasoning about loop functions
- On edge addition rewrite systems and their relevance to program analysis
- Sound refactorings
- A Formal Definition of Data Flow Graph Models
- On the computational complexity of data flow analysis over finite bounded meet semilattices
- Accurate binding-time analysis for imperative languages: Flow, context, and return sensitivity
This page was built for publication: Properties of data flow frameworks: A unified model
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q910237)
