… 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]… dynamic rewrite rules for modeling the dependencies of data-flow facts on program …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 …
CC 2005: 204-220 [doi]