Ինֆորմատիկա
Программный комплекс автоматического анализа, оптимизации и синтеза однопоточных, многопоточных и распределенных программ для вычисления систем функций с рекурсивными вызовами
