Аннотация доклада.

При разработке эффективного средства автоматизированного динамического распараллеливания программ необходима реализация программных механизмов, требующих статического анализа программ. В системе NewTS прикладные программы пишутся на языке С++, анализ которого затруднен из-за его сложной семантики. В данном докладе рассматриваются алгоритмы синтаксического анализа в рамках их применимости в Т-системе, в частности сравниваются алгоритмы LL и LR-анализа. Также производится обзор существующих средств статического анализа на основе этих алгоритмов и выбор одного из них для интеграции в систему NewTS. Представлен алгоритм и особенности реализации выбранного парсера Elsa. В докладе также обсуждается построение препроцессора системы NewTS на основе вышеуказанного средства. Описаны структура и механизмы препроцессора, такие как раскрытие ключевых слов Т-системы и сериализация данных.