Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Apt, K.R. Ten years of Hoare's logic: A survey—part I. ACM TOPLAS 3 (1981) 431–483.
2. Bergstra, J. A. and Tucker, J. V. Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs. TCS 17 (1982) 303–315.
3. Bergstra, J. A. and Tucker, J. V. Hoare 's logic for programming languages with two data types. TCS 24 (1984) 215–221.
4. Clarke, E. M., German, S. M. and Halpern, J. Y. Effective axiomatizations of Hoare logics. JACM 30 (1983) 612–636.
5. Cook, S. A. Soundness and completeness of an axiom system for program verification. SIAM J. Comp. 7 (1978) 70–90.