Reducing transformations for functional programs with assignment

MaRDI QIDQ1087006zbMATH OpenFDO

Authors Irina A. Lomazova

Publication date 1986

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

assignment statementequivalent transformationsfunctional programming language

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Review text

We consider a functional programming language augmented with the assignment statement, which occupies an intermediate position between functional and statement languages. A system of equivalent transformations is proposed for this language, eliminating the assignment and reducing the program to purely functional form.

Recommendations

• scientific article; zbMATH DE number 4106261
• Program transformations in a denotational setting
• scientific article; zbMATH DE number 3898204
• scientific article; zbMATH DE number 482779
• Transformations and reduction strategies for typed lambda expressions
• On transformations of untyped functional programs and their procedural semantics
• scientific article; zbMATH DE number 1336275
• scientific article; zbMATH DE number 6823356
• A Program Transformation for Tracing Functional Logic Computations
• Simple, Effective Code-Size Reduction for Functional Programs

Cited in

(3)

• Symbolic Semantics and Program Reduction
• scientific article; zbMATH DE number 1479615 (Why is no real title available?)
• From Algol to polymorphic linear lambda-calculus

This page was built for publication: Reducing transformations for functional programs with assignment

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1087006)