Flow Graph Reducibility
From MaRDI portal
Cited in
(28)- Profitability computations on program flow graphs
- Applications of graph theory in computer systems
- The directed subgraph homeomorphism problem
- Properties of data flow frameworks: A unified model
- Efficient symbolic analysis of programs
- Flow Hypergraph Reducibility
- Quantifying the extent of lateral gene transfer required to avert a `genome of Eden'
- On locating minimum feedback vertex sets
- Packing feedback arc sets in reducible flow graphs
- Pathlistings applied to data flow analysis
- Analysis of structured programs
- A generalized mathematical theory of structured programming
- The parallel complexity of approximation algorithms for the maximum acyclic subgraph problem
- Boolean-valued loops
- Testing flow graph reducibility
- Flow hypergraph reducibility
- Algebraic characterization of reducible flowcharts
- On the resilience of canonical reducible permutation graphs
- Encoding watermark numbers as reducible permutation graphs using self-inverting permutations
- Fast algorithms for the elimination of common subexpressions
- Correctness of parallel programs: The Church-Rosser approach
- A semantically meaningful characterization of reducible flowchart schemes
- Solving problems for maximal reducible flowgraphs.
- Translatability of flowcharts into while programs
- Node listings for reducible flow graphs
- Algebraic and graph theoretic characterizations of structured flowchart schemes
- Full characterization of a class of graphs tailored for software watermarking
- Function iteration logics and flowchart schemata
This page was built for publication: Flow Graph Reducibility
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5681535)
