摘要
以反例的形式指出了Ｂｉｊｌｓｍａ等人提出的过程调用中透明性引理证明中的错误，并且分别给出了透明性引理和可靠性定理的新的证明方法。
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.
出处
《华东理工大学学报（自然科学版）》
EI
CAS
CSCD
1995年第1期95-98,共4页
Journal of East China University of Science and Technology
基金
国家自然科学基金
关键词
透明性
规范
可靠性
过程调用
程序语言
transparency
specification
procedure
soundness
precondition
