Dataflow language embedded in CML

In this paper, we show how one can embed Kahn-McQueen style dataflow in CML. This allows one to combine the dataflow paradigm, in particular the ability to have feedback loops, with the higher-order features that CML provides. The context for this research was the development of a language for digital signal processing applications. This application demands that we take finite buffer sizes seriously. We accordingly develop techniques for guaranteeing that only finite buffers are needed. From the point of view of ML programmers the main interest in the present work is to show how one can build a new concurrent abstraction on top of the CML primitives. In particular one needs a nonobvious notion of dataflow process in order to make feedback possible while still preserving the possibility of abstraction of dataflow processes. i Contents 1 Introduction 1 2 Language Definition 2 2.1 Tokens : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2 2.2 Processes..