Properties of data flow frameworks: A unified model (Q910237): Difference between revisions

Revision as of 13:50, 20 June 2024

scientific article

Language	Label	Description	Also known as
English	Properties of data flow frameworks: A unified model	scientific article

Statements

instance of

scholarly article

0 references

title

Properties of data flow frameworks: A unified model (English)

0 references

published in

Acta Informatica

0 references

publication date

1990

0 references

review text

A comprehensive overview of data flow frameworks and their characterizing properties is presented, to clarify property definitions and demonstrate their interrelation. Properties ensuring the existence of a solution are differentiated from those guaranteeing particular convergence behavior for specific solution procedures. Examples illustrate the orthogonality of these precision and convergence properties. In addition, several data flow problems are categorized with respect to these properties.

@@ Property / cites work @@
+Q5452362
@@ Property / cites work: Q5452362 / rank @@
+Normal rank
@@ Property / cites work @@
+A program data flow analysis procedure
@@ Property / cites work: A program data flow analysis procedure / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic translation of FORTRAN programs to vector form
+Normal rank
@@ Property / cites work @@
+Register Assignment Algorithm for Generation of Highly Optimized Object Code
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+Program derivation by fixed point computation
@@ Property / cites work: Program derivation by fixed point computation / rank @@
+Normal rank
@@ Property / cites work @@
+Sometime = always + recursion \(\equiv\) always. On the equivalence of the intermittent and invariant assertions methods for proving inevitability properties of programs
+Normal rank
@@ Property / cites work @@
+Constructive versions of Tarski's fixed point theorems
+Normal rank
@@ Property / cites work @@
+A simple fixpoint argument without the restriction to continuity
+Normal rank
@@ Property / cites work @@
+The program dependence graph and its use in optimization
+Normal rank
@@ Property / cites work @@
+A Fast and Usually Linear Algorithm for Global Flow Analysis
+Normal rank
@@ Property / cites work @@
+Q4162449
@@ Property / cites work: Q4162449 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068080
@@ Property / cites work: Q4068080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient general iterative algorithm for dataflow analysis
+Normal rank
@@ Property / cites work @@
+Global Data Flow Analysis and Iterative Algorithms
+Normal rank
@@ Property / cites work @@
+Monotone data flow analysis frameworks
@@ Property / cites work: Monotone data flow analysis frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068060
@@ Property / cites work: Q4068060 / rank @@
+Normal rank
@@ Property / cites work @@
+An empirical study of FORTRAN programs
@@ Property / cites work: An empirical study of FORTRAN programs / rank @@
+Normal rank
@@ Property / cites work @@
+The Theoretical Aspects of the Optimal Fixedpoint
@@ Property / cites work: The Theoretical Aspects of the Optimal Fixedpoint / rank @@
+Normal rank
@@ Property / cites work @@
+The optimal approach to recursive programs
@@ Property / cites work: The optimal approach to recursive programs / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of data flow frameworks: A unified model
+Normal rank
@@ Property / cites work @@
+Global optimization by suppression of partial redundancies
+Normal rank
@@ Property / cites work @@
+Q3341865
@@ Property / cites work: Q3341865 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient symbolic analysis of programs
@@ Property / cites work: Efficient symbolic analysis of programs / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Program Analysis in Almost-Linear Time
@@ Property / cites work: Symbolic Program Analysis in Almost-Linear Time / rank @@
+Normal rank
@@ Property / cites work @@
+Monoids for Rapid Data Flow Analysis
@@ Property / cites work: Monoids for Rapid Data Flow Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+A Lubricant for Data Flow Analysis
@@ Property / cites work: A Lubricant for Data Flow Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Conditions for incremental iteration: Examples and counterexamples
+Normal rank
@@ Property / cites work @@
+Q5630556
@@ Property / cites work: Q5630556 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing flow graph reducibility
@@ Property / cites work: Testing flow graph reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of Path Compression on Balanced Trees
+Normal rank
@@ Property / cites work @@
+A Unified Approach to Path Problems
@@ Property / cites work: A Unified Approach to Path Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Algorithms for Solving Path Problems
@@ Property / cites work: Fast Algorithms for Solving Path Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Flow Graph Reducibility
@@ Property / cites work: Flow Graph Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Program Slicing
@@ Property / cites work: Program Slicing / rank @@
+Normal rank

Properties of data flow frameworks: A unified model (Q910237): Difference between revisions

Revision as of 13:50, 20 June 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)