В работе рассматривается задача автоматического распараллеливания кода. Для распараллеливания используется подход, который можно рассматривать как обобщение метода гиперплоскостей Лэмпорта на произвольные программы, работающие в статически выделенном объеме памяти (на программы, в которых не используется динамическое распределение памяти).