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