Т-система--система автоматического
динамического распараллеливания программ
- Парадигма -- функциональное
программирование.
- Вычислительная модель -- параллельная
редукция графов.
- Программа -- набор "чистых"
функций.
Тело функций может быть определено в
императивном стиле.
Опционально: произвольные арность и
коарность, "ленивость", "потоковость"
функций.
- Состояние вычисления -- граф.
- Вычисление -- редукция графа.
- Возможность нахождения в графе многих
"готовых выполняться" узлов ==
возможность автоматического динамического
распараллеливания.
|