Corrigenda: laws of programming

DOI10.1145/30401.30407zbMath0653.68002OpenAlexW1985690151MaRDI QIDQ3799624

A. W. Roscoe, B. A. Sufrin, Jifeng He, I. H. Sorensen, Ian J. Hayes, J. M. Spivey, Carroll Morgan, Jeff W. Sanders, C. A. R. Hoare

Publication date: 1987

Published in: Communications of the ACM (Search for Journal in Brave)

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

zbMATH Keywords

fixed pointsweakest preconditionsDijkstra's nondeterministic sequential programming languageScott's domain theory

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (2)

Parallel constructions of maximal path sets and applications to short superstrings ⋮ Predicate transformers and higher-order programs

This page was built for publication: Corrigenda: laws of programming