ON TRANSFORMATIONS OF UNTYPED FUNCTIONAL PROGRAMS AND THEIR PROCEDURAL SEMANTICS

Author(s)

ON TRANSFORMATIONS OF UNTYPED FUNCTIONAL PROGRAMS AND THEIR PROCEDURAL SEMANTICS G.A. Ghazaryan

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.

DOI: 10.46991/PYSUA.2011.45.1.036 Physical and Mathematical Sciences, 45(1 (224) 36-43

Download PDF

Keywords

term, equation, procedural semantics, interpretation algorithms

Check for updates

Share

Contact admin with any questions, comments or concerns

[email protected]