SISAL
SISAL（串流和迭代所用單賦值語言）是通用單賦值函式語言程式設計語言，它具有嚴格語意、隱式並列和高效陣列處理。SISAL 輸出中間形式 1（IF1）的資料流程圖。它衍生自 VAL（Jack Dennis1979 年設計的面向值的演算法語言），並增加了遞迴和有限串流（stream）。它有著類 Pascal 語法，並被設計為用於在各種多處理器上的數值程式的高階語言。