The new math of computer programming
From MaRDI portal
Publication:4045610
DOI10.1145/360569.360659zbMATH Open0293.68013OpenAlexW2019389359MaRDI QIDQ4045610FDOQ4045610
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
Cited In (11)
- Kleene under a modal demonic star
- Strongest invariant functions: Their use in the systematic analysis of while statements
- A method for computing the number of iterations in data dependent loops
- Specification methodology: An integrated relational approach
- Reflexive transitive invariant relations: A basis for computing loop functions
- Mathematics for reasoning about loop functions
- Documenting and verifying systems assembled from components
- An axiom system for sequence-based specification
- Title not available (Why is that?)
- Applying string-rewriting to sequence-based specification
- Title not available (Why is that?)
This page was built for publication: The new math of computer programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4045610)
