Новая версия Т-системы -- подход к реализации
- Объединение функциональной и императивной
моделей вычислений
- Три инварианта состояния вычислительного
графа и три класса преобразований, связанных с
этими инвариантами
- Редукция графов -- меняет граф, не меняет
его значение
- Стратегия вычислений -- решает, что
вычислять в первую очередь
- Распределение работы -- решает, какую
задачу кому отдать
- Расширения классической схемы ПРГ:
|