Laws of programming

DOI10.1145/27651.27653zbMath0629.68006MaRDI QIDQ3766810

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

Publication date: 1987

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

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

Mathematics Subject Classification ID

68N01: General topics in the theory of software

Related Items

Process algebra with four-valued logic, Bochvar-McCarthy logic and process algebra, Logical analysis of demonic nondeterministic programs, Combining angels, demons and miracles in program specifications, From algebra to operational semantics, Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements, Normal form approach to compiler design, Process algebra with guards: Combining hoare logic with process algebra, A relation algebraic model of robust correctness, Relation-algebraic semantics, Two finite specifications of a queue, Parallel composition and decomposition of specifications, Process algebra and conditional composition, An algebraic hardware/software partitioning algorithm, Program algebra for sequential code, Combining programs and state machines, Predicate transformers as power operations, Multilevel structured program designs and correctness proving, Discrete time process algebra, Towards reasoning about Hoare relations, Linking theories in probabilistic programming, Computable processes and bisimulation equivalence