|
|||||
|
|
| 关于过程调用中的透明性和可靠性 | |
| 引用本文： | 邵志清,宋国新.关于过程调用中的透明性和可靠性[J].医学教育探索,1995(1):95-98. |
| 作者姓名： | 邵志清 宋国新 |
| 作者单位： | 华东理工大学计算机科学与工程系，华东理工大学计算中心 |
| 摘 要： | 以反例的形式指出了Ｂｉｊｌｓｍａ等人提出的过程调用中透明性引理证明中的错误，并且分别给出了透明性引理和可靠性定理的新的证明方法。 |
| 关 键 词： | 透明性 规范 可靠性 过程调用 程序语言 |
Transparency and Soundness in WP Semantics of Procedures |
|
| Shao Zhiqing,Song Guox in,Fu Chunyi,Wang Lizhong and Lu Daohong.Transparency and Soundness in WP Semantics of Procedures[J].Researches in Medical Education,1995(1):95-98. | |
| Authors: | Shao Zhiqing Song Guox in Fu Chunyi Wang Lizhong and Lu Daohong |
| 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. |
| Keywords: | transparency specification procedure soundness precondition |
| 点击此处可从《医学教育探索》浏览原始摘要信息 | |
| 点击此处可从《医学教育探索》下载免费的PDF全文 | |