Андрей, потому что на скриншотах приведен код из книги George Karypis - "Introduction to Parallel computing", а конкретнее алгоритм реализации трансляционно-циклической схемы обмена на регулярных структурах (решетка и гиперкуб).
Dragaev, при всем уважении если вопрос формулируется как Является ли это псевдокодом или есть такой язык программирования? - тоесть речь идет о яп, то и теги должны относится к яп, а то что в коде используется многопоточность/параллельные вычисления/функциональное программирование это не важно. Если вопрос какой яп то и тег должен быть связан с яп. Все это сугубое имхо конечноже
Судя по радикалу и символу объединения больше похоже на псевдокод. Понятие существования странное: как математик хочет, такие символы и применяет.
Реально видел спецсимволы в MatCAD и Julia. Для символов обычно используется код LATEX.
Но сам псевдокод а-ля Паскаль.