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

functional programming languageequivalent transformationsassignment statement

Mathematics Subject Classification ID

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

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)

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

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)