The project has been concerned with the fundamental principles underlying dataflow. The investigators have developed a set of definitions and primitive concepts, and have designed a higher order functional language CAJOLE, consistent with their model.
To elaborate the language definition and model; to develop compilers for the CAJOLE language; including one for the Manchester dataflow machine to assess the results.
During the course of the project, several compilers for CAJOLE have been produced, together with a supporting program development system, employing a graphics terminal (which proved attractive to its users). The Manchester machine emulator was ported to the Westfield site and the compiler for the Manchester machine was successfully used to compile CAJOLE programs to run on the emulator. A considerable amount of work on the formal specification of CAJOLE and dataflow programs was carried out.