SISAL SISAL串流和迭代所用单赋值语言是通用单赋值函数式编程语言它具有严格语义英语Strict function隐式并行英语Implicit parallelism和高效阵列处理SISAL输出中间形式IF的数据流程图它派生自VALJack Dennis英语Jack Dennis年设计的面向值的算法语言并增加了递归和有限串流stream它有着类Pascal语法并被设计为用于在各种多处理器上的数值程序的高级语言