scientific article; zbMATH DE number 3898204

MaRDI QIDQ3677142zbMATH OpenFDO

Authors J. W. Backus

Publication date 1985

zbMATH Keywords

Function level programsfunction level semanticsoptimizationprogram transformation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Algebraic Transformation Techniques for Functional Languages
• Point-free program transformation
• Structuring FP-style functional programs
• scientific article; zbMATH DE number 49798
• scientific article; zbMATH DE number 3856378

Cited in

(10)

• Compiling and optimizing methods for the functional language ASL/F
• Reducing transformations for functional programs with assignment
• On flowchart theories. I. The deterministic case
• Finite generation of ambiguity in context-free languages
• Rewriting systems on FP expressions to reduce the number of sequences yielded
• Symbolic Semantics and Program Reduction
• scientific article; zbMATH DE number 3947595 (Why is no real title available?)
• Structuring FP-style functional programs
• Algebraic Transformation Techniques for Functional Languages
• Transforming Source Code to Mathematical Relations for Performance Evaluation

This page was built for publication:

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