Verification of a dataflow representation of a program through static type-checking

A computer readable storage device to store computer-executable instructions to control a computer system to:

• receive a dataflow-expressed program including a plurality of tasks connected together in a manner specified by a graph, each task having at least one input associated with a specified type and an output associated with a specified type;
• and
• compile the dataflow-expressed program to a compiled parallel program expressed in a parallel form that is executable by any runtime environment selected from a plurality of candidate runtime environments providing a plurality of computing resources for executing the compiled program in a parallel manner, the compiled parallel program agnostic with respect to features provided by the candidate runtime environments, the compile including to static type-check the dataflow-expressed program.

The computer readable storage device of claim 8, wherein the dataflow-expressed program expresses the graph as a directed acyclic graph (DAG). 10 The computer readable storage device of claim 9, the static type-check including to statically verify dataflow connections of the DAG.

A method performed by a computer system, the method comprising:

• receiving a dataflow-expressed program including a plurality of tasks connected together in a manner specified by a graph, each task having at least one input associated with a specified type and an output associated with a specified type;
• and
• compiling the dataflow-expressed program to a compiled parallel program expressed in a parallel form that is executable by any runtime environment selected from a plurality of candidate runtime environments providing a plurality of computing resources for executing the compiled program in a parallel manner, the compiled parallel program agnostic with respect to features provided by the candidate runtime environments, the compiling including static type-checking the dataflow-expressed program