single - assignment language, definitional language Язык программирования, в котором значения динамически присваиваются именам, но после присваивания значение имени не может быть изменено. Такие языки близки к языкам функционального программирования и связаны с потоковой архитектурой ЭВМ.