… Although both structured programming (particularly top-down stepwise refinement) [4,7,17] and a data flow view of parallel processing [1,8,11] have been … with refinements; and the other produces machine code for a data flow machine from a two …
SIGPLAN, 17(8):18-27, 1982. [doi]… Data-flow transformations used in optimizing compilers are also useful in other … representation. In this paper we describe the composition of source-to-source data-flow … combinators that allow a natural modeling of data- and control-flow without …
CC 2005: 204-220 [doi]… A constraint-based data flow analysis is formalised in the specification language of the Coq proof assistant. This involves defining a dependent type … a provably correct data flow analyser in Ocaml from the proof. The library …
TCS, 342(1):56-78, 2005. [doi]… Data-flow analysis is the static analysis of programs to estimate … of static semantics of programming languages, the concept of data-flow allows … variable before its first use. In the implementation of compiler back-ends, data-flow …
JCL (JVLC), 57:100924, 2020. [doi]… representation enabling the compilation of data-flow tasks into streaming … and efficiency advantages of streaming compared to data-driven scheduling …
In Proceedings of the 2010 international conference on Compilers, architectures and synthesis for embedded systems. 2010: 11-20 [doi]… Thesis — Automatic and efficient verification of loop and data-flow … and data-flow transformations. Reasoning with value-based dependencies, it establishes equivalences between sets of values in corresponding points in the data-flow …
PhD thesis, Department of Computer Science, Katholieke Universiteit Leuven, Belgium, May 2008.… both a data flow and a control flow analyses. This key feature makes … structure) with respect to data flow information. Also, this approach yields more accurate control flow information than one that separates control flow and data flow …
PEPM 1993: 66-77 [doi]… Program understanding tools manipulate program representations, such as abstract syntax trees, control-flow graphs, or data-flow graphs. This paper deals … a case study in the use of visitor combinators for control-flow analysis …
IWPC 2002: 137-146 [doi]… Program understanding tools manipulate program representations, such as abstract syntax trees, control-flow graphs, or data-flow graphs. This paper deals … a case study in the use of visitor combinators for control-flow analysis …
SPE, 34(14):1345-1379, 2004. [doi]