|
Proceedings of the Yerevan State University, series Physical and Mathematical Sciences, 2017, Volume 51, Issue 2, Pages 177–186
(Mi uzeru381)
|
|
|
|
This article is cited in 1 scientific paper (total in 1 paper)
Informatics
On translation of typed functional programs into untyped functional programs
S. A. Nigiyan, T. V. Khondkaryan Chair of Programming and Information Technologies YSU, Armenia
Abstract:
In this paper typed and untyped functional programs are considered. Typed functional programs use variables of any order and constants of order $\leq1$, where constants of order $1$ are strong computable, $\lambda$-definable functions with indeterminate values of arguments. The basic semantics of a typed functional program is a function with indeterminate values of arguments, which is the main component of its least solution. The basic semantics of an untyped functional program is an untyped $\lambda$-term, which is defined by means of a fixed point combinator. An algorithm that translates typed functional program $P$ into untyped functional program $P'$ is suggested. It is proved that the basic semantics of the program $P'$ $\lambda$-defines the basic semantics of the program $P$.
Keywords:
typed functional program, untyped functional program, basic semantics, translation, $\lambda$-definability.
Received: 18.10.2016 Accepted: 04.05.2017
Citation:
S. A. Nigiyan, T. V. Khondkaryan, “On translation of typed functional programs into untyped functional programs”, Proceedings of the YSU, Physical and Mathematical Sciences, 51:2 (2017), 177–186
Linking options:
https://www.mathnet.ru/eng/uzeru381 https://www.mathnet.ru/eng/uzeru/v51/i2/p177
|
Statistics & downloads: |
Abstract page: | 139 | Full-text PDF : | 38 | References: | 33 |
|