CONTROL-DRIVEN DATA FLOW

Ján Kollár

   Control-driven data flow is a paradigm for a process functional language in which purely functionally defined processes perform updates on environment variables. In this paper, the relation between \PFL\ - an experimental process functional language and the control-driven data flow execution is defined. The transition chains are selected to execute the processes by the evaluation of expressions. In addition, the \PFL\ ability for parallel and non-deterministic execution is presented.

Keywords: process functional programming, imperative functional programming, stateful computation, side effects, functional nets

[full-paper]