The new math of computer programming
From MaRDI portal
Publication:4045610
DOI10.1145/360569.360659zbMath0293.68013OpenAlexW2019389359MaRDI QIDQ4045610
Publication date: 1975
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/360569.360659
Related Items (11)
Unnamed Item ⋮ A method for computing the number of iterations in data dependent loops ⋮ Specification methodology: An integrated relational approach ⋮ Documenting and verifying systems assembled from components ⋮ Reflexive transitive invariant relations: A basis for computing loop functions ⋮ Unnamed Item ⋮ Applying string-rewriting to sequence-based specification ⋮ Mathematics for reasoning about loop functions ⋮ An axiom system for sequence-based specification ⋮ Strongest invariant functions: Their use in the systematic analysis of while statements ⋮ Kleene under a modal demonic star
This page was built for publication: The new math of computer programming
