scientific article; zbMATH DE number 3744496

MaRDI QIDQ3929003zbMATH OpenFDO

Authors J. W. Backus

Publication date 1981

zbMATH Keywords

algebraic lawsdomain of programsfunctional programminglinear formsprogram-forming operationsreasoning about programssolution of recursive equations

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited in

(8)

• Functional programming with combinators
• On the expansion of non-linear functions
• A new approach to recursion removal
• A knowledge-based approach to program synthesis from examples
• A glimpse into the paradise of combinatory algebra
• Automatic verification of functional programs
• Efficient memo-table management strategies
• A generalization of the concept of sketch

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 Q3929003)