Sharpening the characterization of the power of Floyd method

This publication has 10 references indexed in Scilit:

• A complete logic for reasoning about programs via nonstandard model theory I
  Theoretical Computer Science, 1982
• A characterization of Floyd-provable programs
  Lecture Notes in Computer Science, 1981
• First order dynamic logic with decidable proofs and workable model theory
  Lecture Notes in Computer Science, 1981
• Dynamic algebras of programs
  Lecture Notes in Computer Science, 1981
• Propositional dynamic logics of programs: A survey
  Lecture Notes in Computer Science, 1981
• PAL — Propositional algorithmic logic
  Published by Springer Nature ,1981
• Cylindric Set Algebras
  Lecture Notes in Mathematics, 1981
• Compactness Properties of Infinitary and Abstract Languages
  Published by Elsevier ,1978
• Mathematical Logic
  Published by Springer Nature ,1976
• On the termination of program schemas
  Information and Control, 1975