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