On the Development of the Algebra of Functional Programs

DOI10.1145/69622.357193MaRDI QIDQ3954800zbMATH OpenOpenAlexWikidataFDO

Authors John H. Williams

Publication date 1982

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/69622.357193

zbMATH Keywords

correctness proofsdivide-and-conquer program schemesprogram verificationsemantics of programming languagesstudies of program constructstransformations

Mathematics Subject Classification ID

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

Cited in

(5)

• Relational algebraic semantics of deterministic and nondeterministic programs
• Functional programming with combinators
• On the expansion of non-linear functions
• Automatic verification of functional programs
• Efficient memo-table management strategies

This page was built for publication: On the Development of the Algebra of Functional Programs

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