Обзор проблемно-ориентированных языков программирования для параллельного анализа статических графов

В статье содержится обзор подходов к реализации проблемно-ориентированных языков программирования на примере Green-Marl, OptiGraph, Elixir и Falcon, предназначенных для анализа статических графов. Представлены основные особенности рассматриваемых языков, а также их сравнение с точки зрения выразительности параллелизма и применимости для генерации высокоэффективных параллельных программ для суперкомпьютеров и кластерных систем.