SISAL（串流和迭代所用单赋值语言）是通用单赋值函数式编程语言，它具有、和高效阵列处理。SISAL输出中间形式1（IF1）的数据流程图。它派生自VAL（1979年设计的面向值的算法语言），并增加了递归和有限串流（stream）。它有着类Pascal语法，并被设计为用于在各种多处理器上的数值程序的高级语言。
历史.SISAL的定义在1983年由James McGraw等人于曼彻斯特大学、劳伦斯利弗莫尔国家实验室、科罗拉多州立大学和DEC提出。它被修订于1985年，而第一个编译实现于