Ծրագրերի ստատիկ և դինամիկ վերլուծության ալգորիթմների օպտիմալացման մեթոդներ

Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում