Когда-то обратил внимание на любопытный проект PPCG -- Polyhedral Parallel Code Generator (от исследовательской группы, повязанной с Esterel):
http://parkas.di.ens.fr/software.html#ppcg

Там имеется и свой язык PENCIL (расширение над подмножеством Си) -- как минимум, представленная в нём проблематика требует в любом случае какое-то решение, если не в виде языковых средств, то вручную.
На сайте по ссылке выше имеются краткое введение и презентация (кроме прочих материалов):
http://parkas.di.ens.fr/doc/pencil_pact_2015.pdf
http://parkas.di.ens.fr/doc/pencilcc_presentation.pdf

У себя в загашнике нашёл иной обзор, с небольшим сопоставлением с альтернативными средствами (библиотечные решения, OpenMP, OpenACC и др.), и некую спецификацию:
Вложение:Reduction Drawing. Language Constructs and Polyhedral Compilation for Reductions on GPUs.pdf[674.46 КБ]
Скачиваний: 436

Вложение:PENCIL Language Speciﬁcation.pdf[1.28 МБ]
Скачиваний: 398
