A method for producing a formatted description of a computation representable
by
a data-flow graph and computer for performing a computation so described. A source
instruction is generated for each input of the data-flow graph, a computational
instruction is generated for each node of the data-flow graph, and a sink instruction
is generated for each output of the data-flow graph. The computational instruction
for a node includes a descriptor of an operation performed at the node and a descriptor
of each instruction that produces an input to the node. The formatted description
is a sequential instruction list comprising source instructions, computational
instructions and sink instructions. Each instruction has an instruction identifier
and the descriptor of each instruction that produces an input to the node is the
instruction identifier. The computer is directed by a program of instructions to
implement a computation representable by a data-flow graph.