Logics of Programs

This publication has 84 references indexed in Scilit:

• Countable nondeterminism and random assignment
  Journal of the ACM, 1986
• Proving program inclusion using Hoare's logic
  Theoretical Computer Science, 1984
• Deterministic propositional dynamic logic: Finite models, complexity, and completeness
  Journal of Computer and System Sciences, 1982
• A complete logic for reasoning about programs via nonstandard model theory I
  Theoretical Computer Science, 1982
• Floyd's principle, correctness theories and program equivalence
  Theoretical Computer Science, 1982
• On the power of nondeterminism in dynamic logic
  Published by Springer Nature ,1982
• Propositional dynamic logic is weaker without tests
  Theoretical Computer Science, 1981
• Semantics of looping programs in Propositional Dynamic Logic
  Theory of Computing Systems, 1981
• Ten Years of Hoare's Logic: A Survey—Part I
  ACM Transactions on Programming Languages and Systems, 1981
• Program Schemes with Pushdown Stores
  SIAM Journal on Computing, 1972