Browsing LCS Technical Memos (1974 - 2003) by Author "Stavi, Jonathan"
Now showing items 1-1 of 1
-
A Complete Axiomatic System for Proving Deductions About Recursive Programs
Harel, David; Pnueli, Amir; Stavi, Jonathan (1978-02)Denoting a version of Hoare's system for proving partial correctness of recursive programs by H, we present an extension D which may be thought of a H u {^,v,∃,∀} uH^-1, including the rules of H, four special purpose rules ...