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).
oai:arar.sci.am:258964
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
Dec 8, 2023
Jul 24, 2020
42
https://arar.sci.am/publication/282103
Հրատարակութեան անունը | Թուական |
---|---|
On Dependence of Interpretation Algorithms of Typed Functional Programs on Canonical Notion of δ-Reduction | Dec 8, 2023 |
Seda N. Manukian
Vahan V. Gevorgyan Gevorg A. Karapetyan Hakob G. Sarukhanyan
Hrachya V. Astsatryan Edita E. Gichunts