While-programs with nondeterministic assignments and the logic ALNA

This publication has 5 references indexed in Scilit:

• Countable nondeterminism and random assignment
  Journal of the ACM, 1986
• Looping vs. repeating in dynamic logic
  Information and Control, 1982
• A Weaker Precondition for Loops
  ACM Transactions on Programming Languages and Systems, 1982
• Proving total correctness of nondeterministic programs in infinitary logic
  Acta Informatica, 1981
• A proof of the completeness theorem of Grödel
  Fundamenta Mathematicae, 1950