Об алгоритмах интерпретации строго типизированных функциональных программ / Խիստ տիպիզացված ֆունկցիոնալ ծրագրերի ինտերպրետացիայի ալգորիթմների մասին / On intrepretation algorithms of strongly typed functional programs
Loading...
Date
Journal Title
Journal ISSN
Volume Title
Publisher
ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ
Abstract
Диссертационная работа посвящена проблемам функционального программирования. Объектом исследования является строго типизированная функциональная программа, a основной рассматриваемой проблемой фундаментальная задача вычисления определяемой программой функции / Ատենախոսությունը նվիրված է ֆունկցիոնալ ծրագրավորման պրոբլեմներին: Հետազոտվում են խիստ տիպիզացված ֆունկցիոնալ ծրագրերի ինտերպրետացիայի ալգորիթմները անհակասելիության, լրիվության և համեմատելիության տեսակետից
Description
Ե.13.04 «Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2010 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ս. Ա. Նիգիյան ; Պաշտոնական ընդդիմախոսներ՝ Հ. Բ. Մարանջյան, Մ. Հ. Խաչատրյան ; Առաջատար կազմակերպություն՝ Հայաստանի պետական ճարտարագիտական համալսարան ; Սեղմագիր՝ 18 էջ։