SISAL (Streams and Iteration in a Single Assignment Language) is a general-purpose single assignment functional programming language with strict semantics, implicit parallelism, and efficient array handling.
SISAL outputs a dataflow graph in Intermediary Form 1 (IF1). It was derived from the Value-oriented Algorithmic Language (VAL), designed by Jack Dennis, and adds recursion and finite streams. It has a Pascal-like syntax and was designed to be a common high-level programming language for numerical programs on a variety of multiprocessors.