On the Development of the Algebra of Functional Programs

DOI10.1145/69622.357193zbMath0492.68018OpenAlexW2015477722WikidataQ114846914 ScholiaQ114846914MaRDI QIDQ3954800

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

transformationsprogram verificationcorrectness proofssemantics of programming languagesdivide-and-conquer program schemesstudies of program constructs

Mathematics Subject Classification ID

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

Related Items (5)

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

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