Number: CS 2/90
Author(s): TYUGU, Enn.
Title: Higher order dataflow schemas. 23 p.
Language: English
ABSTRACT. This paper describes dataflow shemas which include higher order
objects as input data of processing nodes. It is demonstrated that higher order
dataflow can be described by constructive propositional logic. Rules for safe
computations on higher order dataflow schemas are presented and their
implementation in hardware is discussed.