文献类型：期刊文献

中文题名：关于过程调用中的透明性和可靠性

英文题名：Transparency and Soundness in WP Semantics of Procedures

作者：邵志清[1];宋国新[1];傅纯一[1];王立中[1];陆道宏[1]

机构：[1]华东理工大学计算机科学与工程系,华东理工大学计算中心

年份：1995

卷号：21

期号：1

起止页码：95

中文期刊名：华东理工大学学报（自然科学版）

外文期刊名：Journal of East China University of Science and Technology

收录：CSTPCD;;国家哲学社会科学学术期刊数据库;EI(收录号：1996072757658);Scopus;CSCD:【CSCD2011_2012】；

基金：国家自然科学基金

语种：中文

中文关键词：透明性;规范;可靠性;过程调用;程序语言

外文关键词：transparency;specification;procedure;soundness;precondition

摘要：以反例的形式指出了Ｂｉｊｌｓｍａ等人提出的过程调用中透明性引理证明中的错误，并且分别给出了透明性引理和可靠性定理的新的证明方法。
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.