В области системного параллельного программирования актуальной проблемой является автоматическое конструирование эффективной параллельной программы. Под эффективностью понимается время выполнения программы, расход памяти и т.п. Автоматическое конструирование эффективной программы является алгоритмически труднорешаемой задачей в общем случае, но решается в частных случаях. Вектором развития языков и систем автоматического конструирования параллельных программ является накопление частных решений и эвристик. Поэтому необходимо исследование и создание эффективных параллельных программ, реализующих конкретные задачи. Под реализацией задачи понимается разработка программы, решающей данную задачу. Опыт, накопленный при их создании, позволит создать новые методы и алгоритмы автоматического построения эффективных параллельных программ.