SISAL (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.
A simple single assignment language Single assignment languages are a kind of "functional" language where the parallelism is easy to discover. mySAL is a relative of SISAL, and old and distinguished SAL. http://sourceforge.net/projects/mysal/
