Reducing transformations for functional programs with assignment

zbMATH Open0609.68012MaRDI QIDQ1087006

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

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

Recommendations

• Transformations and reduction strategies for typed lambda expressions 👍 👎
• A Program Transformation for Tracing Functional Logic Computations 👍 👎
• Program transformations in a denotational setting 👍 👎
• Simple, Effective Code-Size Reduction for Functional Programs 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)