Թարգմանչական աշխատանքներ

Դիպլոմային Խիստ տիպիզացված ֆունկցիոնալ ծրագրերի իրականացման մասին

Բովանդակություն
Ներածություն

Գլուխ 1. Օգտագործված սահմանումներ և արդյունքներ: թեորեմ անհակասելիության մասին
1.1 Օգտագործված սահմանումներ և արդյունքներ: Իրական -ռեդուկցիայի օրինակ
1.2 Ինտերպրետացիայի ալգորիթմներ: Թեորեմ անհակասելիության մասին1
1.3 Ինտերպրետացիայի և ալգորիթմներ: Թեորեմ ոչ լրիվության մասին

Գլուխ 2. Ինտերպրետացիայի ոչ լրիվ ալգորիթմներ
2.1 Ինտերպրետացիայի և ալգորիթմների անհամեմատելիությունը
2.2 Ինտերպրետացիայի և ալգորիթմների համարժեքությունը ներդրված ֆունկցիաներ չօգտագործող ծրագրերի դասում

Եզրակացություն

Հատված
Այս աշխատանքի հատվածը անհասանելի է։

Գրականության ցանկ
1. Barendregt H. P. Lambda calculi with types. Handbook of Login in Computer Science, Vol. 2, Edited by S. Abramsky, D. M. Gabbay and T. S. E. Maibaum, Oxford University Press, 1992, p. 117-309.
2. Будагян Л. Э. Об интерпретации строго типизированных функциональных программ. Кандидатская диссертация, Ереван, 2006.
3. Манна З. Теория неподвижной точки программ. Кибернетический сборник (новая серия), вып. 15, 1978, с. 38-100.
4. Нигиян С. А. Функциональные языки программирования. Программирование, 5, 1991, с. 77-86 (англ. пер.: Nigiyan S. A. Functional languages, Programming and Computer Software, Vol. 17., 5, 1992, p. 290-297)
5. Нигиян С. А. Об интерпретации функциональных языков программирования. Программирование, 2, 1993, с. 58-68 (англ. пер.: Nigitan S. A. On interpretation of functional programming languages, Programming and Computer Software, Vol. 19, 2, 1993, p. 71-78).
6. Акопян Р. Ю. Об алгоритмах интерпретации строго типизированных функциональных программ. Кандидатская диссертация, Ереван 2010.
…