2011; Physical and Mathematical Sciences, 45(1 (224): 36–43
Shared with The Gufo

ON TRANSFORMATIONS OF UNTYPED FUNCTIONAL PROGRAMS AND THEIR PROCEDURAL SEMANTICS

G.A. Ghazaryan*

Received: 2025-02-22 · Published: 2011-02-16

© 2011 The Author(s) and the original publisher.

CC BY 4.0 This work is licensed under a Creative Commons Attribution 4.0 International License.
Shared article.
Original title
ON TRANSFORMATIONS OF UNTYPED FUNCTIONAL PROGRAMS AND THEIR PROCEDURAL SEMANTICS
Author
G.A. Ghazaryan
Published
2011-02-16
Licence
Creative Commons Attribution 4.0 International

Abstract

In this paper the notion of transformation of untyped functional programs that preserves the main semantics of programs is presented. A transformation, representing programs by two equations, such that procedural semantics of programs that use interpretation algorithms based on substitution and normal form reduction remain the same, is introduced. It is proved also that there is no transformation, which represents programs with one equation, such that the procedural semantics of programs remain unchanged for all interpretation algo-rithms that are based on two operations: a substitution and a one-step β-reduction.
1 / ? 100% Open in new tab Download Cite

Loading the full text…

Download Follow Updates