Transparency  and Soundness in WP Semantics of Procedures

Transparency and Soundness in WP Semantics of Procedures[J]. Journal of East China University of Science and Technology, 1995, (1): 95-98.

Citation:

Transparency and Soundness in WP Semantics of Procedures[J]. Journal of East China University of Science and Technology, 1995, (1): 95-98.

Citation:

Transparency and Soundness in WP Semantics of Procedures[J]. Journal of East China University of Science and Technology, 1995, (1): 95-98.

Abstract

Several mistakes in Transparency Lemma and Soundness Theorem proved by Bijlsma( 1989)were pointed out by proposing some counterexamples. Furthermore,we reproved the above results using intuitive methods which are easier to be understood.

FullText(HTML)

Export File