Теория основана на построении и детальном изучении свойств двух основных объектов: специальных подграфов традиционных графов зависимостей (минимальных графов зависимостей) и специальных вещественных функционалов, заданных на пространствах итераций (разверток).  Теория конструктивна.   Именно, разработаны эффективные алгоритмы как для построения всех основных объектов, так и для установления фактов существования или не существования у них различных свойств.

Основной целью теории является распознавание и использование параллелизма в программах как на макро-, так и на микроуровне. В частности, она позволяет:

• оценивать общий потенциал параллелизма в программах;
• распознавать параллельные циклы;
• находить различные эквивалентные преобразования программ, увеличивающие параллелизм в циклах (например, обнаруживать и использовать "косой" параллелизм);
• осуществлять разбиение алгоритма на фрагменты, пригодные для реализации на распределенных системах.

Теория устанавливает связь со многими другими разделами математики и моделирования. В качестве примеров можно указать:

• восстановление линейного функционала;
• быстрое вычисление градиента и производной;
• анализ ошибок округления;
• построение математических моделей систолических массивов и др.