scientific article

From MaRDI portal

Revision as of 22:01, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3929003

Jump to:navigation, search

zbMath0474.68009MaRDI QIDQ3929003

J. W. Backus

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

linear forms functional programming reasoning about programs algebraic laws domain of programs program-forming operations solution of recursive equations

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (8)

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3929003&oldid=17605418"