SISAL（串流和迭代所用单赋值语言）是通用单赋值函数式编程语言，它具有严格语义、隐式并行和高效阵列处理。SISAL输出中间形式1（IF1）的数据流程图。它派生自VAL（Jack Dennis1979年设计的面向值的算法语言），并增加了递归和有限串流（stream）。它有着类Pascal语法，并被设计为用于在各种多处理器上的数值程序的高级语言。
== 历史 ==
SISAL的定义在1983年由James McGraw等人于曼彻斯特大学、劳伦斯利弗莫尔国家实验室、科罗拉多州立大学和DEC提出。它被修订于1985年，而第一个编译实现于1986年做出。据某些来源所说，它的性能优于C并匹敌Fortran，它将高效性和自动并行化结合了起来。
它有如下版本：Cray X-MP、Cray Y-MP、Cray-2、Sequent、Encore Alliant、DEC VAX-11/784、数据流程架构、KSR1、Transputer和脉动阵列。
== 架构 ==
SISAL不只是数据流程和细粒度并行的语言。它还是把人类可读文字的数据流程语言转换成图格式（所谓的“IF1”，即中间形式1）的一组工具。SISAL计划有一部份还涉及到将这种图转换成可运行的C代码。
== 例子 ==
两个n×n矩阵的乘法的例子程序：
== SISAL复兴 ==
在2010年SISAL短暂的复活了，伍斯特理工学院的一群本科生为SISAL语言探究实现了一个细粒度并行后端。
在2018年于SISAL-IS计划中SISAL被现代化为基于缩进的语法、头等函数、lambda、闭包和惰性语义。
== 脚注 ==
== 引用 ==
本條目部分或全部内容出自以GFDL授權發佈的《自由線上電腦詞典》（FOLDOC）。
VAL Overview
Sisal Language Tutorial（页面存档备份，存于互联网档案馆）
== 外部链接 ==
SISAL Parallel Programming（页面存档备份，存于互联网档案馆） SourceForge.net project page