Ավտոմատ վերլուծման, օպտիմիզացիայի, ինչպես նա՚ միահոսք, բազմահոսք ՚ բաշխված ծրագրերի սինթեզի ծրագրային համալիր ռեկուրսիվ կանչերով ֆունկցիաների համակարգեր հաշվելու համար