Axioms for the term-wise correctness of programs

  • Stefan Sokołowski
Part of the Lecture Notes in Computer Science book series (LNCS, volume 118)


Inference Rule Partial Function Transitive Closure Inductive Assumption Axiom System 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Cook, S.A. “Soundness and completeness of an axiom system for program verification” SIAM J. Comput. 7, 70–90, 1978Google Scholar
  2. [2]
    Mazurkiewicz, A. “Proving properties of processes” Algorytmy XI, 5–22, 1974Google Scholar
  3. [3]
    Sokołowski, S. “Programs as term transformers” Fundamenta Informaticae III, 419–432, 1980Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • Stefan Sokołowski
    • 1
  1. 1.Institute of MathematicsUniversity of GdańskGdańskPoland

Personalised recommendations