SISAL

Streams and Iteration in a Single Assignment Language

James McGraw et al, University Manchester, Lawrence Livermore, DEC and CSU 1983

A single assignment language with strict semantics, automatic parallelization, and efficient execution. It outputs a dataflow graph in IF1 (Intermediary Form 1). It was derived from VAL[1], adding recursion and finite streams. Pascal-like syntax. SISAL was designed to be a common high-level language for numerical programs on a variety of multiprocessors.

"A Report on the SISAL Language Project", J. T. Feo et al, Journal of Parallel and Distributed Computing 10(4):349-366 (Dec 1990).