Correctness of programs with Pascal-like procedures without global variables

This publication has 13 references indexed in Scilit:

• On the notion of expressiveness and the rule of adaptation
  Theoretical Computer Science, 1983
• Effective Axiomatizations of Hoare Logics
  Journal of the ACM, 1983
• The IO- and OI-hierarchies
  Theoretical Computer Science, 1982
• On termination problems for finitely interpreted ALGOL-like programs
  Acta Informatica, 1982
• Ten Years of Hoare's Logic: A Survey—Part I
  ACM Transactions on Programming Languages and Systems, 1981
• The formal termination problem for programs with finite ALGOL 68-modes
  Information Processing Letters, 1979
• Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
  Journal of the ACM, 1979
• Soundness and Completeness of an Axiom System for Program Verification
  SIAM Journal on Computing, 1978
• Generic commands--a tool for partial correctness formalisms
  The Computer Journal, 1977
• An axiomatic basis for computer programming
  Communications of the ACM, 1969