关于过程调用中的透明性和可靠性
Transparency and Soundness in WP Semantics of Procedures
-
摘要: 以反例的形式指出了Bijlsma等人提出的过程调用中透明性引理证明中的错误,并且分别给出了透明性引理和可靠性定理的新的证明方法。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.