(Streams and Iteration in a Single Assignment Language) A general-purpose single assignment functional programming language with strict semantics, automatic parallelisation and efficient arrays. Outputs a dataflow graph in IF1 (Intermediary Form 1). Derived from VAL, adds recursion and finite streams. Pascal-like syntax. Designed to be a common high-level language for numerical programs on a variety of multiprocessors.
Defined in 1983 by James McGraw et al, Manchester University, Lawrence Livermore National Laboratory, Colorado State University and DEC. Revised in 1985. First compiled implementation in 1986. Performance superior to C and competitive with Fortran, combined with efficient and automatic parallelisation.