Programming Logics: An Introduction to Verification and Semantics
Raymond D. Gumb · Medical Entomology and Zoology · 1989
Mathematical preliminaries the partial correctness of while programs the total correctness of flowchart programs the total correctness of flowchart programs with arrays and input and output the translation of While programs with arrays, input and output and a stack of flowchart programs the total correctness of While programs with procedures and functions the translation of tail recursive procedures into While programs.