Նիւթ

Վերնագիր: On Dependence of Interpretation Algorithms of Typed Functional Programs on Canonical Notion of δ-Reduction

Ստեղծողը:

Davit A. Grigoryan

Տեսակ:

Հոդված

Ամսագրի կամ հրապարակման վերնագիր:

Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science

Հրապարակման ամսաթիւ:

2018

Հատոր:

49

ISSN:

0131-4645

Լրացուցիչ տեղեկութիւն:

Գրիգորյան Դ., Григорян Д.

Այլ վերնագիր:

Տիպիզացված ֆունկցիոնալ ծրագրերի ինտերպրետացիայի ալգորիթմների կախվածությունը կանոնիկ δ-ռեդուկցիայի գաղափարից; О зажисимости алгоритмов интерпретации типизирванных функциональных программ от канонического понятия δ-редукции

Ծածկոյթ:

103-109

Ամփոփում:

In this paper the interpretation algorithms of typed functional programs are considered. The interpretation algorithm is based on substitutions, ß-reduction and canonical ±-reduction. The basic semantics of typed functional program is a function with indeterminate values of arguments, which is the main component of its least solution. If the value of the basic semantics for some values of arguments is indeterminate, then the value ┴, or works endlessly. It is shown that seven known interpretation algorithms are ┴-depend on canonical notion of ┴-reduction. Here are these algorithms: FS (of full substitution), PES (of parallel external substitution), LES (of left external substitution), PIS (of parallel inner substitution), LIS (of left inner substitution), ACT (active algorithm), PAS (passive algorithm).

Հրատարակիչ:

Изд-во НАН РА

Ստեղծման ամսաթիւը:

2018-02-22

Ձեւաչափ:

pdf

Նոյնացուցիչ:

oai:arar.sci.am:258964

Բնօրինակին գտնուելու վայրը:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան

Նիւթին հաւաքածոները:

Վերջին անգամ ձեւափոխուած է:

Dec 8, 2023

Մեր գրադարանին մէջ է սկսեալ:

Jul 24, 2020

Նիւթին բովանդակութեան հարուածներուն քանակը:

42

Նիւթին բոլոր հասանելի տարբերակները:

https://arar.sci.am/publication/282103

Ցոյց տուր նկարագրութիւնը RDF ձեւաչափով:

RDF

Ցոյց տուր նկարագրութիւնը OAI-PMH ձեւաչափով։

OAI-PMH

Այս էջը կ'օգտագործէ 'cookie-ներ'։ Յաւելեալ տեղեկատուութիւն