Rewriting systems on FP expressions to reduce the number of sequences yielded (Q1819572)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Rewriting systems on FP expressions to reduce the number of sequences yielded
scientific article

    Statements

    Rewriting systems on FP expressions to reduce the number of sequences yielded (English)
    0 references
    1986
    0 references
    We are concerned in transforming FP programs so as to minimize the number of intermediate sequences appearing in FP expressions that express iterative programs. Because FP expressions are often required to run on a Von Neumann machine, it would be useful to eliminate unnecessary intermediate sequences. We propose transformation rules based on the algebra of functional programs. In contrast with many others systems of rules for program transformation, the sets of rules presented here are convergent (i.e. finitely terminating and confluent). These rewriting systems are produced by the Knuth-Bendix procedure applied to an initial set of equations and correspond to equations that are valid in the algebra of functional programs. Essentially, the paper relates our experience in using REVE to process a large set of equations and show the actual limitations. Finally an outline of future research is proposed.
    0 references
    0 references
    FP programs
    0 references
    iterative programs
    0 references
    unnecessary intermediate sequences
    0 references
    algebra of functional programs
    0 references
    program transformation
    0 references
    Knuth-Bendix procedure
    0 references
    REVE
    0 references
    0 references